Chang C. C. and Keisler H. J.. Model theory. Studies in logic and the foundations of mathematics, vol. 73, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, xii + 550 pp

Gebhard Fuhrken

doi:10.1017/s0022481200051264

Chang C. C. and Keisler H. J.. Model theory. Studies in logic and the foundations of mathematics, vol. 73, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, xii + 550 pp [Book Review]

Journal of Symbolic Logic 41 (3):697-699 (1976)

Abstract	This article has no associated abstract. (fix it)
Keywords	No keywords specified (fix it)
Categories	Logic and Philosophy of Logic (categorize this paper)
DOI	10.1017/s0022481200051264
Options	Edit this record Mark as duplicate Export citation Find it on Scholar Request removal from index Revision history

Download options

PhilArchive copy

Upload a copy of this paper Check publisher's policy Papers currently archived: 71,231

External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)

Through your library

Sign in / register and customize your OpenURL resolver..
Configure custom resolver

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Drake Frank R.. Set Theory. An Introduction to Large Cardinals. Studies in Logic and the Foundations of Mathematics, Vol. 76. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, Xii + 351 Pp. [REVIEW]Azriel Levy - 1978 - Journal of Symbolic Logic 43 (2):384-384.

M. A. Dickmann. Large Infinitary Languages. Model Theory. Studies in Logic and the Foundations of Mathematics, Vol. 83. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, Xv+ 464 Pp. [REVIEW]Michael Makkai - 1978 - Journal of Symbolic Logic 43 (1):144-145.

A. I. Mal'cév. Algébraičéskié Sistémy. Russian Original of the Foregoing. Izdatél'stvo “Nauka,” Moscow1970, 392 Pp. - Thomas J. Jech. The Axiom of Choice. Studies in Logic and the Foundations of Mathematics, Vol. 75. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, XI + 202 Pp. [REVIEW]Gershon Sageev - 1976 - Journal of Symbolic Logic 41 (4):784-785.

Rasiowa Helena. An Algebraic Approach to Non-Classical Logics. Studies in Logic and the Foundations of Mathematics, Vol. 78. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, Xv + 403 Pp. [REVIEW]Anne Preller - 1977 - Journal of Symbolic Logic 42 (3):432-432.

Martin-Löf Per. An Intuitionistic Theory of Types: Predicative Part. Logic Colloquium '73, Proceedings of the Logic Colloquium, Bristol, July 1973, Edited by Rose H. E. And Shepherdson J. C., Studies in Logic and the Foundations of Mathematics, Vol. 80, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, Pp. 73–118. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):311-313.

Reviews. Alfred Tarski. Preface. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. VIII–IX. Alfred Tarski. A General Method in Proofs of Undecidability. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. 3–35. Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski. Undecidability and Essential Undecidability in Arithmetic. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. 39–74. Alfred Tarski. Undecidability of the Elementary Theory of Groups. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. 77–87. Bibliography. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. 89–91. Index. Undecidable Theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.

Kleene Stephen Cole. Introduction to Metamathematics. Sixth Printing of XIX 215. Wolters-Noordhoff Publishing, Groningen, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1971, X + 550 Pp. [REVIEW]H. B. Enderton - 1973 - Journal of Symbolic Logic 38 (2):332-333.

Lachlan A. H.. On the Number of Countable Models of a Countable Superstable Theory. Logic Methodology and Philosophy of Science IV, Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971, Edited by Suppes Patrick Et Al., Studies in Logic and the Foundations of Mathematics, Vol. 74, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, New York, 1973, Pp. 45–56.Lascar Daniel. Ranks and Definability in Superstable Theories. Israel Journal of Mathematics, Vol. 23 , Pp. 53–87. [REVIEW]Terrence Millar - 1982 - Journal of Symbolic Logic 47 (1):215-217.

Gallin Daniel. Intensional and Higher-Order Modal Logic, with Applications to Montague Semantics. Mathematics Studies, Vol. 19. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, Ix + 148 Pp. [REVIEW]Kenneth A. Bowen - 1977 - Journal of Symbolic Logic 42 (4):581-583.

Keisler H. Jerome. Model Theory for Infinitary Logic. Logic with Countable Conjunctions and Finite Quantifiers. Studies in Logic and the Foundations of Mathematics, Vol. 62, North-Holland Publishing Company, Amsterdam and London 1971, X + 208 Pp. [REVIEW]E. G. K. López-Escobar - 1973 - Journal of Symbolic Logic 38 (3):522-523.

Ginsburg Seymour. Algebraic and Automata-Theoretic Properties of Formal Languages. Fundamental Studies in Computer Science, Vol. 2. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, Xii + 313 Pp. [REVIEW]Arto Salomaa - 1976 - Journal of Symbolic Logic 41 (4):788-789.

Handbook of Mathematical Logic, Edited by Barwise Jon with the Cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in Logic and the Foundations of Mathematics, Vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , Xi + 1165 Pp. [REVIEW]Sy D. Friedman - 1984 - Journal of Symbolic Logic 49 (3):975-980.

Handbook of Mathematical Logic, Edited by Barwise Jon with the Cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in Logic and the Foundations of Mathematics, Vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , Xi + 1165 Pp. [REVIEW]Daniel Lascar - 1984 - Journal of Symbolic Logic 49 (3):968-971.

Handbook of Mathematical Logic, Edited by Barwise Jon with the Cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in Logic and the Foundations of Mathematics, Vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , Xi + 1165 Pp. [REVIEW]Akihiro Kanamori - 1984 - Journal of Symbolic Logic 49 (3):971-975.

Vopěnka Petr and Hájek Petr. The Theory of Semisets. Studies in Logic and the Foundations of Mathematics, Vol. 70. North-Holland Publishing Company, Amsterdam and London, and Academia, Publishing House of the Czechoslovak Academy of Sciences, Prague, 1972, 332 Pp. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1422-1423.

Analytics

Added to PP index
2016-06-30

Total views
28 ( #410,524 of 2,518,236 )

Recent downloads (6 months)
1 ( #408,577 of 2,518,236 )

How can I increase my downloads?

Downloads