Iterating ordinal definability

Annals of Mathematical Logic 24 (3):263-310 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(83)90008-8

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.
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.
Scattered and hereditarily irresolvable spaces in modal logic.Guram Bezhanishvili & Patrick J. Morandi - 2010 - Archive for Mathematical Logic 49 (3):343-365.
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.
On definability in multimodal logic.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):451-468.
Definability and initial segments of c-degrees.Robert S. Lubarsky - 1988 - Journal of Symbolic Logic 53 (4):1070-1081.
Proof theory and ordinal analysis.W. Pohlers - 1991 - Archive for Mathematical Logic 30 (5-6):311-376.
Assignment of Ordinals to Patterns of Resemblance.Gunnar Wilken - 2007 - Journal of Symbolic Logic 72 (2):704 - 720.
How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals.Michael Rathjen - 1993 - Mathematical Logic Quarterly 39 (1):47-54.
Ordinal arithmetic with simultaneously defined theta‐functions.Andreas Weiermann & Gunnar Wilken - 2011 - Mathematical Logic Quarterly 57 (2):116-132.

Analytics

Added to PP
2014-01-16

Downloads
25 (#614,662)

6 months
9 (#298,039)

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.
Generalizations of the Kunen inconsistency.Joel David Hamkins, Greg Kirmayer & Norman Lewis Perlmutter - 2012 - Annals of Pure and Applied Logic 163 (12):1872-1890.
Inner mantles and iterated HOD.Jonas Reitz & Kameryn J. Williams - 2019 - Mathematical Logic Quarterly 65 (4):498-510.
Lifting elementary embeddings j: Vλ → Vλ.Paul Corazza - 2007 - Archive for Mathematical Logic 46 (2):61-72.
Iterating the Cofinality- Constructible Model.Ur Ya’Ar - 2023 - Journal of Symbolic Logic 88 (4):1682-1691.

View all 7 citations / Add more citations

References found in this work

Some applications of Jensen's coding theorem.R. David - 1982 - Annals of Mathematical Logic 22 (2):177-196.
A generalization of gödel's notion of constructibility.Azriel Lévy - 1960 - Journal of Symbolic Logic 25 (2):147-155.
Consistency results about ordinal definability.Kenneth McAloon - 1971 - Annals of Mathematical Logic 2 (4):449.
Transfinite descending sequences of models HODα.Wo̵dzimierz Zadroźny - 1981 - Annals of Mathematical Logic 20 (2):201-229.
Cardinal collapsing and ordinal definability.Petr Štěpánek - 1978 - Journal of Symbolic Logic 43 (4):635-642.

View all 8 references / Add more references