Journal of Symbolic Logic · 2001 · 34 citations · 11 references
Natural SciencesComputer ScienceMathematicsDiscrete MathematicsNumber TheorySet TheoryCardinal NumbersOrdinal NumbersConsistencyTree ConsistencyTree Properties
Abstract. If ω n has the tree property for all 2 ≤ n < ω and , then for all and n < ω . M n t ( X ) exists.
11
The fine structure of the constructible hierarchy
Ronald Björn Jensen · Annals of Mathematical Logic · 1972 · 681 citations
Itay Neeman · Bulletin of Symbolic Logic · 1995 · 74 citations
Uri Abraham · Annals of Pure and Applied Logic · 1983 · 65 citations