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: 93,069

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

Transfinite descending sequences of models HOD.Wo̵dzimierz Zadroźny - 1981 - Annals of Mathematical Logic 20 (2):201.
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]René David - 1987 - Journal of Symbolic Logic 52 (2):570-571.
Induction and transfinite induction in intuitionistic systems.Bruno Scarpellini - 1972 - Annals of Mathematical Logic 4 (2):173.
Adding closed cofinal sequences to large cardinals.Lon Berk Radin - 1982 - Annals of Mathematical Logic 22 (3):243.
Sheaf models for choice sequences.Gerrit Van Der Hoeven & Ieke Moerdijk - 1984 - Annals of Pure and Applied Logic 27 (1):63-107.
Descending sequences of degrees.John Steel - 1975 - Journal of Symbolic Logic 40 (1):59-61.
Mathematical logic with transfinite types.Frank Gerald Bruner - 1943 - [Chicago]: Priv. print..
Extending models of arithmetic.James H. Schmerl - 1978 - Annals of Mathematical Logic 14 (2):89.
Algebraically prime models.J. T. Baldwin - 1981 - Annals of Mathematical Logic 20 (3):289.
Determinacy in the Mitchell models.John R. Steel - 1982 - Annals of Mathematical Logic 22 (2):109.

Analytics

Added to PP
2014-01-17

Downloads
17 (#896,285)

6 months
12 (#242,953)

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.
Iterating the Cofinality- Constructible Model.Ur Ya’Ar - 2023 - Journal of Symbolic Logic 88 (4):1682-1691.
Ordinal definability in Jensen's model.Włodzimierz Zadrożny - 1984 - Journal of Symbolic Logic 49 (2):608-620.

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.
Some Consequences of the Axiom of Constructibility.J. W. Addison - 1963 - Journal of Symbolic Logic 28 (4):293-293.
Forcing with trees and order definability.Thomas J. Jech - 1975 - Annals of Mathematical Logic 7 (4):387.

Add more references