Consistency results about ordinal definability

Annals of Mathematical Logic 2 (4):449 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(71)90005-2

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Review: Kenneth McAloon, On the Sequence of Models $operatorname{HOD}_n$; Thomas J. Jech, Forcing with Trees and Ordinal Definability; Wlodzimierz Zadrozny, Iterating Ordinal Definability. [REVIEW]Rene David - 1987 - Journal of Symbolic Logic 52 (2):570-571.
REVIEWS-Decidability and definability results related to the elementary theory of ordinal multiplication.A. Bes & John E. Doner - 2003 - Bulletin of Symbolic Logic 9 (1):49-50.
Iterated local reflection versus iterated consistency.Lev Beklemishev - 1995 - Annals of Pure and Applied Logic 75 (1-2):25-48.
Scattered and hereditarily irresolvable spaces in modal logic.Guram Bezhanishvili & Patrick J. Morandi - 2010 - Archive for Mathematical Logic 49 (3):343-365.
Computable structures and the hyperarithmetical hierarchy.C. J. Ash - 2000 - New York: Elsevier. Edited by J. Knight.
Abstract Beth Definability in Institutions.Marius Petria & Răzvan Diaconescu - 2006 - Journal of Symbolic Logic 71 (3):1002 - 1028.
Algebraicity and Implicit Definability in Set Theory.Joel David Hamkins & Cole Leahy - 2016 - Notre Dame Journal of Formal Logic 57 (3):431-439.
Embedding theorems for Boolean algebras and consistency results on ordinal definable sets.Petr Štěpánek & Bohuslav Balcar - 1977 - Journal of Symbolic Logic 42 (1):64-76.
Consistency proof via pointwise induction.Toshiyasu Arai - 1998 - Archive for Mathematical Logic 37 (3):149-165.
Ordinal definability in Jensen's model.Włodzimierz Zadrożny - 1984 - Journal of Symbolic Logic 49 (2):608-620.
Cardinal collapsing and ordinal definability.Petr Štěpánek - 1978 - Journal of Symbolic Logic 43 (4):635-642.
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.
Arithmetical definability over finite structures.Troy Lee - 2003 - Mathematical Logic Quarterly 49 (4):385.
An isomorphism between monoids of external embeddings: About definability in arithmetic.Mihai Prunescu - 2002 - Journal of Symbolic Logic 67 (2):598-620.

Analytics

Added to PP
2014-01-17

Downloads
31 (#503,056)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Set-theoretic geology.Gunter Fuchs, Joel David Hamkins & Jonas Reitz - 2015 - Annals of Pure and Applied Logic 166 (4):464-501.
The Ground Axiom.Jonas Reitz - 2007 - Journal of Symbolic Logic 72 (4):1299 - 1317.
Varieties of Class-Theoretic Potentialism.Neil Barton & Kameryn J. Williams - 2024 - Review of Symbolic Logic 17 (1):272-304.
Large cardinals need not be large in HOD.Yong Cheng, Sy-David Friedman & Joel David Hamkins - 2015 - Annals of Pure and Applied Logic 166 (11):1186-1198.

View all 28 citations / Add more citations

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.
Some applications of iterated ultrapowers in set theory.Kenneth Kunen - 1970 - Annals of Mathematical Logic 1 (2):179.
Powers of regular cardinals.William B. Easton - 1970 - Annals of Mathematical Logic 1 (2):139.

View all 12 references / Add more references