Transfinite descending sequences of models HODα

Annals of Mathematical Logic 20 (2):201-229 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(81)90003-6

Links

PhilArchive



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

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

Descending sequences of degrees.John Steel - 1975 - Journal of Symbolic Logic 40 (1):59-61.
Uniformly defined descending sequences of degrees.Harvey Friedman - 1976 - Journal of Symbolic Logic 41 (2):363-367.
Xeno Semantics for Ascending and Descending Truth.Kevin Scharp - manuscript
On Ehrenfeucht-fraïssé equivalence of linear orderings.Juha Oikkonen - 1990 - Journal of Symbolic Logic 55 (1):65-73.
Limit spaces and transfinite types.Dag Normann & Geir Waagb - 2002 - Archive for Mathematical Logic 41 (6):525-539.
A transfinite sequence of ?-models.Andrzej Mostowski - 1972 - Journal of Symbolic Logic 37 (1):96-102.
Sequences in countable nonstandard models of the natural numbers.Steven C. Leth - 1988 - Studia Logica 47 (3):243 - 263.
Review of J. Cummings, A Model in Which GCH Holds at Successors but Fails at Limits; Strong Ultrapowers and Long Core Models; Coherent Sequences Versus Radin Sequences; and J. Cummings, M. Foreman, and M. Magidor, Squares, Scales and Stationary Reflection. [REVIEW]Arthur W. Apter - 2002 - Bulletin of Symbolic Logic 8 (4):550-552.
A Note on the Physical Possibility of Transfinite Computation.Wayne Aitken & Jeffrey A. Barrett - 2010 - British Journal for the Philosophy of Science 61 (4):867-874.
Derived sequences and reverse mathematics.Jeffry L. Hirst - 1993 - Mathematical Logic Quarterly 39 (1):447-453.
A Transfinite Sequence Of Omega-Models (Title Edited).Andrzej Mostowski - 1972 - Journal of Symbolic Logic 37 (March):96-102.
On the Cauchy completeness of the constructive Cauchy reals.Robert S. Lubarsky - 2007 - Mathematical Logic Quarterly 53 (4‐5):396-414.
An application of graphical enumeration to PA.Andreas Weiermann - 2003 - Journal of Symbolic Logic 68 (1):5-16.
General random sequences and learnable sequences.C. P. Schnorr & P. Fuchs - 1977 - Journal of Symbolic Logic 42 (3):329-340.

Analytics

Added to PP
2014-01-17

Downloads
17 (#860,469)

6 months
12 (#207,528)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Iterating ordinal definability.Wlodzimierz Zadrozny - 1983 - Annals of Mathematical Logic 24 (3):263-310.
Ordinal definability in Jensen's model.Włodzimierz Zadrożny - 1984 - Journal of Symbolic Logic 49 (2):608-620.
Iterating the Cofinality- Constructible Model.Ur Ya’Ar - 2023 - Journal of Symbolic Logic 88 (4):1682-1691.

Add more citations

References found in this work

Powers of regular cardinals.William B. Easton - 1970 - Annals of Mathematical Logic 1 (2):139.
Consistency results about ordinal definability.Kenneth McAloon - 1971 - Annals of Mathematical Logic 2 (4):449.
Forcing with trees and order definability.Thomas J. Jech - 1975 - Annals of Mathematical Logic 7 (4):387.
Some Consequences of the Axiom of Constructibility.J. W. Addison - 1963 - Journal of Symbolic Logic 28 (4):293-293.

Add more references