Mathematical logic and foundations of set theory

(ed.)
Amsterdam,: North-Holland Pub. Co. (1970)
  Copy   BIBTEX

Abstract

LN , so f lies in the elementary submodel M'. Clearly co 9 M' . It follows that 6 = {f(n): n em} is included in M'. Hence the ordinals of M' form an initial ...

Categories

Keywords

Reprint years

Call number

QA9.A1.I56 1968

ISBN(s)

0720422558

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,072

External links

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

Through your library

My notes

Chapters

Some applications of almost disjoint forcing.R. B. Jensen & R. M. Solovay

Similar books and articles

Mathematical Logic and Foundations of Set Theory. Y. Bar-Hillel - 1972 - Synthese 23 (4):491-493.
Mathematical Logic and Foundations of Set Theory: Proceedings of an International Colloquium Under the Auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.Yehoshua Bar-Hillel (ed.) - 1970 - Amsterdam and London: North-Holland.
Rabin Michael O.. Weakly definable relations and special automata. Mathematical logic and foundations of set theory, Proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968, edited by Bar-Hillel Yehoshua, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1970, pp. 1–23. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):622-623.
Some applications of almost disjoint forcing.R. B. Jensen & R. M. Solovay - 1970 - In Yehoshua Bar-Hillel (ed.), Mathematical logic and foundations of set theory. Amsterdam,: North-Holland Pub. Co..
Thomas Hobbes: the unity of scientific & moral wisdom.Gary Bruce Herbert - 1989 - Vancouver: University of British Columbia Press.
Every countable model of set theory embeds into its own constructible universe.Joel David Hamkins - 2013 - Journal of Mathematical Logic 13 (2):1350006.
Hilbert’s Program: An Essay on Mathematical Instrumentalism.Michael Detlefsen - 1986 - Dordrecht and Boston: Reidel.
A Logical Statement of Grammatical Theory as Contained in Halliday's `Categories of the Theory of Grammar.'Linguistic Science and Logic.J. F. Staal - 1966 - Journal of Symbolic Logic 31 (4):668.

Analytics

Added to PP
2009-01-28

Downloads
61 (#349,862)

6 months
3 (#1,471,783)

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