J. L. Bell and A. B. Slomson. Models and ultraproducts: An introduction. North-Holland Publishing Company, Amsterdam and London1969, IX + 322 pp [Book Review]

Journal of Symbolic Logic 37 (4):763-764 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272449

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,707

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

M. E. Szabo. Biographical sketch. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. vii–viii. - M. E. Szabo. Introduction. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 1–28. - Gerhard Gentzen. On the existence of independent axiom systems for infinite sentence systems. Englische Übersetzung von 4427. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 29–52. - Gerhard Gentzen. On the relation between intuitionist and classical arithmetic. Englische Übersetzung des Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik . The collected papers of Gerhard Gentz. [REVIEW]K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.
Review: J. L. Bell, A. B. Slomson, Models and Ultraproducts: An Introduction. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (4):763-764.
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.
Joseph R. Shoenfield. Degrees of unsolvability. North-Holland mathematical studies 2. North-Holland Publishing Company, Amsterdam-London, and American Elsevier Publishing Company, Inc., New York, 1971, VIII + 111 pp. [REVIEW]Leonard P. Sasso - 1975 - Journal of Symbolic Logic 40 (3):452-453.
A. H. Lightstone and Abraham Robinson. Nonarchimedean fields and asymptotic expansions. North-Holland mathematical library, vol. 13. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, x + 204 pp. [REVIEW]C. Ward Henson - 1981 - Journal of Symbolic Logic 46 (1):163-164.
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.
Bell J. L. and Machover M.. A course in mathematical logic. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1977, xix + 599 pp. [REVIEW]Perry Smith - 1980 - Journal of Symbolic Logic 45 (2):378-379.
Models and Ultraproducts: An Introduction.J. L. Bell & A. B. Slomson - 1972 - Journal of Symbolic Logic 37 (4):763-764.
Helena Rasiowa. Introduction to modern mathematics. English translation of Wstęp do matematyki współczesnej by Olgierd Wojtasiewicz. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, xii + 339 pp. [REVIEW]Angelo Margaris - 1978 - Journal of Symbolic Logic 43 (1):153-154.
Peter Aczel. Quantifiers, games and inductive definitions. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14. - Kit Fine. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 15–31. - Bengt Hansson and Peter Gärdenfors. Filtations and the finite frame property in Boolean semantics. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Compa. [REVIEW]S. K. Thomason - 1978 - Journal of Symbolic Logic 43 (2):373-376.
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.
L. E. J. Brouwer. On the foundations of mathematics. English translation of 1551, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 13–101, 565–569. - L. E. J. Brouwer. Die möglichen Mächtigkeiten. A reprint of 1554, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 102-104, 569. - L. E. J. Brouwer. On the foundations of mathematics. Partial English translation of 1553, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxfor. [REVIEW]Joan Rand Moschovakis - 1979 - Journal of Symbolic Logic 44 (2):271-275.
Chuaqui Rolando Basim. Axiomatic set theory, Impredicative theories of classes. North-Holland mathematics studies, no.. 51, Notas de matematica, no. 78. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xv + 388 pp. [REVIEW]F. R. Drake - 1984 - Journal of Symbolic Logic 49 (4):1422-1422.
Greg Cherlin and Joram Hirschfeld. Ultrafilters and ultraproducts in non-standard analysis. Contributions to non-standard analysis, edited by W. A. J. Luxemburg and A. Robinson, Studies in logic and the foundations of mathematics, vol. 69, North-Holland Publishing Company, Amsterdam and London 1972, pp. 261–279. [REVIEW]Ralph Kopperman - 1975 - Journal of Symbolic Logic 40 (4):634.
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. [REVIEW]Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.

Analytics

Added to PP
2016-06-30

Downloads
21 (#756,033)

6 months
3 (#1,029,281)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references