Forcing with trees and ordinal definability

DOI10.1016/0003-4843(75)90011-XzbMath0304.02027OpenAlexW1997189097MaRDI QIDQ4058665

Thomas J. Jech

Publication date: 1975

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(75)90011-x

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other classical first-order model theory (03C68)

Related Items (5)

Club degrees of rigidity and almost Kurepa trees ⋮ Inner mantles and iterated HOD ⋮ ITERATING THE COFINALITY- CONSTRUCTIBLE MODEL ⋮ Surrealist landscape with figures (a survey of recent results in set theory) ⋮ Co-stationarity of the ground model

This page was built for publication: Forcing with trees and ordinal definability