×

Categoricity. (English) Zbl 0504.03014


MSC:

03C35 Categoricity and completeness of theories
03A05 Philosophical and critical aspects of logic and foundations
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Barbut Marc, Les temps modernes 246 (1966)
[2] Birkhoff G., A survey of modern algebra (1944)
[3] Bridge Jane, Beginning model theory (1977)
[4] Cantor Georg, Contributions to transfinite numbers (1895)
[5] Church A., Introduction to mathematical logic (1956) · Zbl 0073.24301
[6] Corcoran J., Philosophy and phenomenological research 33 pp 25– (1972) · doi:10.2307/2106718
[7] Corcoran J., J. symb. logic
[8] Corcoran J., Journal of symbolic logic 39 pp 625– (1974) · Zbl 0298.02011 · doi:10.2307/2272846
[9] Dedekind Richard, Essays on the theory of numbers (1887)
[10] Ellentuck Erik, Journal of symbolic logic 41 pp 639– (1976) · Zbl 0344.02037 · doi:10.2307/2272041
[11] Enderton H., A mathematical introduction to logic (1972) · Zbl 0298.02002
[12] Fraieigh John, A first course in abstract algebra (1976)
[13] Frege Gottlob, Jber. Dtsch. Math.-Ver. 15 pp 293– (1906)
[14] Frege Gottlob, Wissenschaftlicher Briefwechsel (1976)
[15] Grzegorczyk Andrzej, Studia logica 13 pp 39– (1962) · Zbl 0192.03605 · doi:10.1007/BF02317255
[16] Halmos Paul R., Naive set theory (1960)
[17] Hailperin T., Boole’s logic and probability (1976) · Zbl 0352.02002
[18] Hilbert David, The foundation of geometry (1889)
[19] Hilbert, David. 1899L. ”Letter to Frege dated 29 December 1899”. 65–68. Frege 1976cited from the English translation in Kluge 1971, 10–14
[20] Huntington Edward V., Transactions of the American Mathematical Society 3 pp 264– (1902) · doi:10.1090/S0002-9947-1902-1500598-9
[21] Huntington Edward V., Annals of mathematics 6 pp 151– (1905) · JFM 36.0098.04 · doi:10.2307/2007245
[22] Huntington Edward V., The continuum (1917)
[23] Kac, Mathematics and logic (1968)
[24] Kline Morris, Mathematical thought from ancient to modern times (1972) · Zbl 0277.01001
[25] Kleene S. C., Introduction to metamathematics (1952) · Zbl 0047.00703
[26] Kluge Eike-Henner, Gottlob Frege on the foundations of geometry and formal theories of arithmetic (1971)
[27] Lakatos Imre, Problems in the philosophy of mathematics (1967)
[28] Lane Michael, Introduction to structuralism (1970)
[29] Mendelson E., Introduction to mathematical logic (1964) · Zbl 0192.01901
[30] Montague R., Formal systems and recursive functions pp 131– (1965) · doi:10.1016/S0049-237X(08)71686-0
[31] Paris J. B., J. symb. logic 43 pp 725– (1978) · Zbl 0408.03048 · doi:10.2307/2273511
[32] Resnik Michael, Philosophy and phenomenological research 34 pp 385– (1974)
[33] Skolem, Thoralf. 1920. ”Logico-combinatorial investigations,”. 252–263. cited from English translation in van Heijenoort 1967
[34] Skolem, Thoralf. 1928. ”On mathematical logic”. 508–529. cited from English translation in van Heijenoort 1967
[35] Tarski Alfred, Logic, semantics, metamathematics pp 152– (1934)
[36] van, From Frege to Gödel (1967)
[37] Veblen Oswald, Transactions of the American Mathematical Society 5 pp 343– (1904) · doi:10.1090/S0002-9947-1904-1500678-X
[38] Young, Lectures on fundamental concepts of algebra and geometry (1911)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.