- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Consistency results about ordinal definability
Annals of Mathematical Logic 2 (4):449 (1971)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Kenneth McAloon. On the sequence of models HODn. Fundamenta mathematicae, vol. 82, pp. 85–93. - Thomas J. Jech. Forcing with trees and ordinal definability. Annals of mathematical logic, vol. 7 no. 4, pp. 387–409. - Włodzimierz Zadrożny. Iterating ordinal definability. Annals of pure and applied logic, vol. 24, pp. 263–310. [REVIEW]Kenneth Mcaloon & Thomas J. Jech - 1987 - Journal of Symbolic Logic 52 (2):570-571.
Iterating ordinal definability.Wlodzimierz Zadrozny - 1983 - Annals of Mathematical Logic 24 (3):263-310.
Ordinal definability in the rank hierarchy.John W. Dawson - 1973 - Annals of Mathematical Logic 6 (1):1.
Generalized interpolation and definability.David W. Kueker - 1970 - Annals of Mathematical Logic 1 (4):423.
Forcing with trees and order definability.Thomas J. Jech - 1975 - Annals of Mathematical Logic 7 (4):387.
Definability in lattices of equational theoris.Ralph McKenzie - 1971 - Annals of Mathematical Logic 3 (2):197-237.
Remark to “local definability theory” of Reyes.S. Shelah - 1971 - Annals of Mathematical Logic 2 (4):441-447.
Analytics
Added to PP
2014-01-17
Downloads
73 (#803,705)
6 months
2 (#1,995,406)
2014-01-17
Downloads
73 (#803,705)
6 months
2 (#1,995,406)
Historical graph of downloads
Citations of this work
Varieties of Class-Theoretic Potentialism.Neil Barton & Kameryn J. Williams - 2024 - Review of Symbolic Logic 17 (1):272-304.
Set-theoretic geology.Gunter Fuchs, Joel David Hamkins & Jonas Reitz - 2015 - Annals of Pure and Applied Logic 166 (4):464-501.
Inner models from extended logics: Part 1.Juliette Kennedy, Menachem Magidor & Jouko Väänänen - 2020 - Journal of Mathematical Logic 21 (2):2150012.
Definability of measures and ultrafilters.David Pincus & Robert M. Solovay - 1977 - Journal of Symbolic Logic 42 (2):179-190.
References found in this work
The independence of the continuum hypothesis.Paul Cohen - 1963 - Proc. Nat. Acad. Sci. USA 50 (6):1143-1148.
The Independence of the Continuum Hypothesis.Paul J. Cohen - 1963 - Proceedings of the National Academy of Sciences of the United States of America 50 (6):1143--8.
The Independence of the Continuum Hypothesis II.Paul Cohen - 1964 - Proc. Nat. Acad. Sci. USA 51 (1):105-110.
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.James E. Baumgartner - 1972 - Journal of Symbolic Logic 37 (3):612-613.
Some applications of iterated ultrapowers in set theory.Kenneth Kunen - 1970 - Annals of Mathematical Logic 1 (2):179.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation