A Gitik iteration with nearly Easton factoring
From MaRDI portal
Publication:3160550
DOI10.2178/JSL/1052669060zbMath1059.03052OpenAlexW2065438334MaRDI QIDQ3160550
Publication date: 9 February 2005
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.jsl/1052669060
Consistency and independence results (03E35) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Other aspects of forcing and Boolean-valued models (03E40)
Cites Work
This page was built for publication: A Gitik iteration with nearly Easton factoring