Forcing with trees and order definability

Annals of Mathematical Logic 7 (4):387 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(75)90011-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

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

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.
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.
Forcing with tagged trees.John R. Steel - 1978 - Annals of Mathematical Logic 15 (1):55.
Review: Ulrich Felgner, Models of ZF-Set Theory; Thomas J. Jech, Lectures in Set Theory with Particular Emphasis on the Method of Forcing. [REVIEW]Frank R. Drake - 1975 - Journal of Symbolic Logic 40 (1):92-93.
A very absolute Pi-1-2 real singleton.René David - 1982 - Annals of Mathematical Logic 23 (2-3):101-120.
Essential Kurepa trees versus essential Jech–Kunen trees.Renling Jin & Saharon Shelah - 1994 - Annals of Pure and Applied Logic 69 (1):107-131.
Trees, subtrees and order types.Stevo B. Todorčević - 1981 - Annals of Mathematical Logic 20 (3):233.
Effective topological spaces III: Forcing and definability.Iraj Kalantari & Galen Weitkamp - 1987 - Annals of Pure and Applied Logic 36:17-27.
Models with second order properties II. Trees with no undefined branches.Saharon Shelah - 1978 - Annals of Mathematical Logic 14 (1):73.
Review: Thomas J. Jech, The Axiom of Choice. [REVIEW]Gershon Sageev - 1976 - Journal of Symbolic Logic 41 (4):784-785.

Analytics

Added to PP
2014-01-17

Downloads
2 (#1,450,151)

6 months
1 (#1,912,481)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Inner mantles and iterated HOD.Jonas Reitz & Kameryn J. Williams - 2019 - Mathematical Logic Quarterly 65 (4):498-510.
Iterating ordinal definability.Wlodzimierz Zadrozny - 1983 - Annals of Mathematical Logic 24 (3):263-310.
Co-stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2006 - Journal of Symbolic Logic 71 (3):1029 - 1043.
Transfinite descending sequences of models HODα.Wo̵dzimierz Zadroźny - 1981 - Annals of Mathematical Logic 20 (2):201-229.
Club degrees of rigidity and almost Kurepa trees.Gunter Fuchs - 2013 - Archive for Mathematical Logic 52 (1-2):47-66.

View all 8 citations / Add more citations

References found in this work

The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
Trees.Thomas J. Jech - 1971 - Journal of Symbolic Logic 36 (1):1-14.
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.

Add more references