Solomon Feferman. Some applications of the notions of forcing and generic sets . The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 89–95. - Solomon Feferman. Some applications of the notions of forcing and generic sets. Fundamenta mathematicae, vol. 56 no. 3 , pp. 325–345 [Book Review]

Journal of Symbolic Logic 37 (3):612-613 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272776

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,190

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

J. R. Shoenheld. Applications of model theory to degrees of unsolvability. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 359–363. [REVIEW]Gerald E. Sacks - 1972 - Journal of Symbolic Logic 37 (3):610-611.
Michael Morley. Omitting classes of elements. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 265–273. [REVIEW]E. G. K. Lopez-Escobar - 1968 - Journal of Symbolic Logic 33 (2):286-287.
H. Jerome Keisler. Finite approximations of infinitely long formulas. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 158–169. - H. Jerome Keisler. Some applications of infinitely long formulas. The journal of symbolic logic, vol. 30 , pp. 339–349. [REVIEW]Carol Karp - 1969 - Journal of Symbolic Logic 34 (1):129-130.
W. Hanf. Model-theoretic methods in the study of elementary logic. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 132–145. [REVIEW]Verena H. Dyson - 1969 - Journal of Symbolic Logic 34 (1):127-128.
Paul J. Cohen. Independence results in set theory. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 39–54. [REVIEW]Joel W. Robbin - 1967 - Journal of Symbolic Logic 32 (1):129-130.
Gebhard Furhken. Languages with added quantifier “there exist at least Nα.”The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 121–131. [REVIEW]A. B. Slomson - 1970 - Journal of Symbolic Logic 35 (2):342.
R. L. Vaught. A Löwenheim-Skolem theorem for cardinals far apart. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 390–401. [REVIEW]G. Fuhrken - 1968 - Journal of Symbolic Logic 33 (3):476-477.
Simon Kochen. Topics in the theory of definition. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 170–176. - Walter Felscher. On criteria of definability. Proceedings of the American Mathematical Society, vol. 19 (1968), pp. 834–836. [REVIEW]Simon Kochen, J. W. Addison, Leon Henkin, Alfred Tarski & Walter Felscher - 1969 - Journal of Symbolic Logic 34 (2):300-301.
Simon Kochen. Topics in the theory of definition. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 170–176. - Walter Felscher. On criteria of definability. Proceedings of the American Mathematical Society, vol. 19 (1968), pp. 834–836. [REVIEW]H. Jerome Keisler - 1969 - Journal of Symbolic Logic 34 (2):300-301.
Freyd Peter. The theories of functors and models. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 107–120. [REVIEW]Anne Preller - 1971 - Journal of Symbolic Logic 36 (2):336.

Analytics

Added to PP
2009-01-28

Downloads
66 (#332,918)

6 months
10 (#281,857)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An interpretation of intuitionistic analysis.D. van Dalen - 1978 - Annals of Mathematical Logic 13 (1):1.
Enumeration reducibility and partial degrees.John Case - 1971 - Annals of Mathematical Logic 2 (4):419-439.
Levy and set theory.Akihiro Kanamori - 2006 - Annals of Pure and Applied Logic 140 (1):233-252.
Consistency results about ordinal definability.Kenneth McAloon - 1971 - Annals of Mathematical Logic 2 (4):449.
Forcing with tagged trees.John R. Steel - 1978 - Annals of Mathematical Logic 15 (1):55.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references