Completeness and categoricity: Frege, gödel and model theory

References

• Barwise , J. 1985 . Model-Theoretic Logics , Edited by: Feferman , S. New York : Springer . Berlin:
   Google Scholar
• Boolos , G. 1995 . “ The consistency of Frege’s Foundations of Arithmetic ” . In Frege’s Philosophy of Mathematics , Edited by: Demopoulos , W. 211 – 233 . Cambridge, MA : Harvard University Press .
   Google Scholar
• Chang , C. and Keisler , H.J. 1973 . Model Theory , Amsterdam : North-Holland .
   Google Scholar
• Cocchiarella , N. 1992 . Cantor's power-set theorem versus Frege's double-correlation thesis . History and Philosophy of Logic , 13 : 179 – 201 .
   Web of Science ®Google Scholar
• Corcoran , J. 1980 . Categoricity . History and Philosophy of Logic , 1 : 187 – 207 .
   Google Scholar
• Dawson , J.W. 1993 . The compactness of first-order logic from Gödel to Lindström . History and Philosophy of Logic , 14 : 15 – 37 .
   Web of Science ®Google Scholar
• Dedekind , R. 1932 . “ Was sind und was sollen die Zahlen? ” . In Dedekind, Gesammelte Mathematische Werke , Edited by: Fricke , R. Vol. 3 , 335 – 391 . Braunschweig : F. Vieweg and Sohn .
   Google Scholar
• Ebbinghaus , H-D. 1985 . “ Extended logics: the general framework ” . In Model-Theoretic Logics , Edited by: Barwise , J. and Feferman , S. 25 – 76 . New York : Springer Verlag . Berlin
   Google Scholar
• Fraenkel , A. 1928 . Einleitung in die Mengenlehre , New York : Publications . reprinted 1946
   Google Scholar
• Fraenkel , A. 1953 . Abstract Set Theory , Amsterdam : North-Holland .
   Google Scholar
• Fraenkel , A. , Bar-Hillel , Y. and Levy , A. 1973 . Foundations of Set Theory , Amsterdam : North-Holland .
   Google Scholar
• Frege , G. 1893 . Grundgesetze der Arithmetik , Vol. 2 Bde , Jena : H. Pohle .
   Google Scholar
• Gödel , K. 1986 . “ On the impossibility of a complete characterization of the number system by means of a finite axiom system ” . In Gödel, Collected Works , Edited by: Feferman , S. Vol. 1 , 379 – 381 . Oxford : Oxford University Press .
   Google Scholar
• Goldfarb , W. 1979 . Logic in the twenties: the nature of the quantifier . Journal of Symbolic Logic , 44 : 351 – 368 .
   Web of Science ®Google Scholar
• Heijenoort , Van. , ed. 1967 . From Frege to Gödel , Cambridge, MA : Harvard University Press .
   Google Scholar
• Hubert , D. 1913 . Grundlagen der Geometrie , Leipzig : Teubner . and Berlin
   Google Scholar
• Hintikka , J. and Sandu , G. 1992 . The skeleton in Frege’s cupboard: the standard versus non-standard distinction . Journal of Philosophy , 89 : 290 – 315 .
   Web of Science ®Google Scholar
• Hodges , W. 1983 . “ Elementary predicate logic ” . In Handbook of Philosophical Logic , Edited by: Gabbay , D. and Guenthner , F. Vol. I , 1 – 131 . Reidel : Dordrecht .
   Google Scholar
• Huntington , E.V. 1902 . A complete set of postulates for the theory of absolute continuous magnitude . Transactions of the American Mathematical Society , 3
   Google Scholar
• Jané , I. 1993 . A critical approach to second-order logic . History and Philosophy of Logic , 14 : 67 – 86 .
   Web of Science ®Google Scholar
• Kaye , R. 1991 . Models ofPeano Arithmetic , Oxford : Oxford University Press .
   Google Scholar
• Kirby , L. and Paris , J. 1982 . Accessible independence results for Peano arithmetic . Bulletin of the London Mathematical Society , 14 : 285 – 93 .
   Web of Science ®Google Scholar
• Kneale , W. 1956 . “ Gottlob Frege and mathematical logic ” . In The Revolution in Philosophy , 26 – 40 . London : Macmillan .
   Google Scholar
• Moore , G. 1980 . Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory . History and Philosophy of Logic , 1 : 95 – 137 .
   Google Scholar
• Moore , G. 1982 . Zermelo’s Axiom of Choice: its Origins, Development, and Influence , Berlin, New York : Springer .
   Google Scholar
• Robinson , A. 1963 . Introduction to Model Theory and the Metamathematics of Algebra , Amsterdam : North-Holland .
   Google Scholar
• Scanlan , M. 1991 . Who were the American postulate theorists? . Journal of Symbolic Logic , 56 : 981 – 1002 .
   Web of Science ®Google Scholar
• Sher , G. 1991 . The Bounds of Logic , Cambridge, MA : MIT Press .
   Google Scholar
• Skolem , T. 1970 . Selected Works in Logic , Edited by: Fenstad , J.E. Oslo : Universitetsforleget .
   Google Scholar
• Tarski , A. , Mostowski , A. and Robinson , R. 1953 . Undecidable Theories , Amsterdam : North-Holland .
   Google Scholar
• Tarski , A. 1959 . “ What is elementary geometry? ” . In The Axiomatic Method , Edited by: Henkin , L. 16 – 29 . Amsterdam : North-Holland .
   Google Scholar
• Veblen , O. 1904 . A system of axioms for geometry . Transactions of the American Mathematical Society , 5 : 343 – 384 .
   Google Scholar
• Wang , H. 1963 . A Survey of Mathematical Logic , Amsterdam : North-Holland .
   Google Scholar
• Westerstâhl , D. 1989 . “ Quantifiers in formal and natural languages ” . In Handbook of Philosophical Logic , Edited by: Gabbay , D. and Guenthner , F. Vol. IV , 1 – 131 . Dordrecht : Reidel .
   Google Scholar