-
5
-
-
84977351882
-
Are our logical and mathematical concepts highly indeterminate?
-
Field, H.: 1994, 'Are Our Logical and Mathematical Concepts Highly Indeterminate?', Midwest Studies in Philosophy XIX, 391-429.
-
(1994)
Midwest Studies in Philosophy
, vol.19
, pp. 391-429
-
-
Field, H.1
-
6
-
-
0004265334
-
-
North-Holland, Amsterdam
-
Fraenkel, A. A., Bar-Hillel, Y., Levy, A., and van Dalen, D.: 1973, Foundations of Set-Theory, North-Holland, Amsterdam.
-
(1973)
Foundations of Set-theory
-
-
Fraenkel, A.A.1
Bar-Hillel, Y.2
Levy, A.3
Van Dalen, D.4
-
8
-
-
21244459322
-
Skolem and the Löwenheim-Skolem theorem: A case study of the philosophical significance of mathematical results
-
George, A.: 1984, 'Skolem and the Löwenheim-Skolem Theorem: A Case Study of the Philosophical Significance of Mathematical Results', History and Philosophy of Logic 6, 75-89.
-
(1984)
History and Philosophy of Logic
, vol.6
, pp. 75-89
-
-
George, A.1
-
9
-
-
0040138715
-
Putnam and the Skolem paradox
-
P. A. Clark and B. Hale (eds.), Basil Blackwell, Oxford
-
Hallett, M.: 1994, 'Putnam and the Skolem Paradox', in P. A. Clark and B. Hale (eds.), Reading Putnam, Basil Blackwell, Oxford, pp. 66-97.
-
(1994)
Reading Putnam
, pp. 66-97
-
-
Hallett, M.1
-
10
-
-
0004240663
-
-
Cambridge University Press, Cambridge
-
Hodges, W.: 1993, Model Theory, Cambridge University Press, Cambridge.
-
(1993)
Model Theory
-
-
Hodges, W.1
-
11
-
-
0013059390
-
-
Clarendon Press, Oxford
-
Horwich, P.: 1998, Meaning, Clarendon Press, Oxford.
-
(1998)
Meaning
-
-
Horwich, P.1
-
12
-
-
21244437284
-
Reflections on Skolem's relativity of set-theoretical concepts
-
Jané, L.: 2001, 'Reflections on Skolem's Relativity of Set-Theoretical Concepts', Philosophia Mathematicae 9, 129-153.
-
(2001)
Philosophia Mathematicae
, vol.9
, pp. 129-153
-
-
Jané, L.1
-
15
-
-
21244502294
-
Skolem's criticisms of set-theory
-
McIntosh, C.: 1979, 'Skolem's Criticisms of Set-Theory', Noûs 13, 313-334.
-
(1979)
Noûs
, vol.13
, pp. 313-334
-
-
McIntosh, C.1
-
18
-
-
21244451253
-
The implicit definition of the set-concept
-
Muller, F. A.: 2004, 'The Implicit Definition of the Set-Concept', Synthese 136.
-
(2004)
Synthese
, vol.136
-
-
Muller, F.A.1
-
19
-
-
0000432574
-
Eine Axiomatisierung der Mengenlehre
-
Neumann, J.: 1925, 'Eine Axiomatisierung der Mengenlehre', Journal für die Mathematik 154, 219-240;
-
(1925)
Journal für die Mathematik
, vol.154
, pp. 219-240
-
-
Neumann, J.1
-
20
-
-
0004200838
-
-
Pergamon Press, Oxford
-
also in his Collected Works I, A. H. Taub (ed.), Pergamon Press, Oxford, 1961, pp. 35-47.
-
(1961)
Collected Works I
, pp. 35-47
-
-
Taub, A.H.1
-
21
-
-
21244460091
-
The open-endedness of the set-concept and the semantics of set-theory
-
Paseau, A.: 2003, The Open-Endedness of the Set-Concept and the Semantics of Set-Theory', Synthese 135, 379-399.
-
(2003)
Synthese
, vol.135
, pp. 379-399
-
-
Paseau, A.1
-
25
-
-
21244457738
-
Logical dreams
-
Lecture held at the conference, Los Alamos arXiv: math.LO/02.11.398
-
Shelah, S.: 2002b, 'Logical Dreams', Lecture held at the conference Mathematical Challenges of the 21th Century, Los Alamos arXiv: math.LO/02.11.398.
-
(2002)
Mathematical Challenges of the 21th Century
-
-
Shelah, S.1
-
26
-
-
0004070712
-
Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sratze nebst einem Theoreme uber dichte Mengen
-
Skolem, T.: 1920, 'Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sratze nebst einem Theoreme uber dichte Mengen', Videnskapsselskapets Skrifter, I. Matematisc-naturvidenskabelig klasse, no. 3.
-
(1920)
Videnskapsselskapets Skrifter, I. Matematisc-naturvidenskabelig Klasse
, vol.3
-
-
Skolem, T.1
-
27
-
-
0002362693
-
Einige Bemerkungen zur axiomatischen Begrundung der Mengenlehre
-
Akademiska Bokhandeln, Helsinki, 1923
-
Skolem, T.: 1922, 'Einige Bemerkungen zur axiomatischen Begrundung der Mengenlehre', Matematikerkongressen i Helsingfors den 4-7 Juli 1922, Den femte skandinaviska matematikercongressen, Redogörelse, Akademiska Bokhandeln, Helsinki, 1923: 217-237
-
(1922)
Matematikerkongressen i Helsingfors den 4-7 Juli 1922, Den Femte Skandinaviska Matematikercongressen, Redogörelse
, pp. 217-237
-
-
Skolem, T.1
-
28
-
-
1342279202
-
Über einige Grundlagenfrage der Mathematik
-
[Skolem 1929] T., 'Über einige Grundlagenfrage der Mathematik', Skrifter Vitenskapsakademiet i Oslo I, 4, 1-49.
-
(1929)
Skrifter Vitenskapsakademiet i Oslo I
, vol.4
, pp. 1-49
-
-
Skolem, T.1
-
29
-
-
21244496530
-
Sur la Portée du Théorème de Lowenheim-Skolem
-
Skolem, T.: 1941, 'Sur la Portée du Théorème de Lowenheim-Skolem', Les Entretiens de Zurich, 25-52.
-
(1941)
Les Entretiens de Zurich
, pp. 25-52
-
-
Skolem, T.1
-
31
-
-
21244432900
-
Interpretation of mathematical theories in the first-order predicate calculus
-
Y. Bar-Hillel (ed.), North-Holland, Amsterdam
-
Skolem, T.: 1962, 'Interpretation of Mathematical Theories in the First-Order Predicate Calculus', in Y. Bar-Hillel (ed.), Essays on the Foundations of Mathematics. Dedicated to A. A. Fraenkel on his Seventieth Anniversary, North-Holland, Amsterdam, pp. 218-225.
-
(1962)
Essays on the Foundations of Mathematics. Dedicated to A. A. Fraenkel on His Seventieth Anniversary
, pp. 218-225
-
-
Skolem, T.1
-
32
-
-
21244464470
-
Mathematics needs new axioms
-
Steel, : J. R.: 2000, 'Mathematics Needs New Axioms', Bulletin of Symbolic Logic 6, 422-433.
-
(2000)
Bulletin of Symbolic Logic
, vol.6
, pp. 422-433
-
-
Steel, J.R.1
-
33
-
-
0039108997
-
Arithmetical extensions of relational systems
-
Tarski, A. and Vaught, R. L.: 1957, 'Arithmetical Extensions of Relational Systems', Compositio Mathematica 13, 81-102.
-
(1957)
Compositio Mathematica
, vol.13
, pp. 81-102
-
-
Tarski, A.1
Vaught, R.L.2
-
35
-
-
0004251932
-
-
(translated by G. E. M. Anscombe), Basil Blackwell, Oxford
-
Wittgenstein, L.: 1953, Philosophical Investigations (translated by G. E. M. Anscombe), Basil Blackwell, Oxford.
-
(1953)
Philosophical Investigations
-
-
Wittgenstein, L.1
-
36
-
-
21244475718
-
-
A. Ambrose,(ed.), Basil Blackwell, Oxford
-
Wittgenstein, L.: 1979, in A. Ambrose,(ed.), Cambridge Lectures 1932-1935, Basil Blackwell, Oxford.
-
(1979)
Cambridge Lectures 1932-1935
-
-
Wittgenstein, L.1
|