Consistency proofs in model theory: A contribution to Jensenlehre
From MaRDI portal
Publication:4163210
DOI10.1016/0003-4843(78)90005-0zbMath0384.03035OpenAlexW1991833206MaRDI QIDQ4163210
Publication date: 1978
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(78)90005-0
Consistency and independence results (03E35) Large cardinals (03E55) Other aspects of forcing and Boolean-valued models (03E40) Set-theoretic model theory (03C55) Model-theoretic forcing (03C25)
Related Items (5)
S-forcing. IIa: Adding diamonds and more applications: Coding sets, Arhangel'skii's problem and \({\mathcal L}[Q_ 1^{<\omega},Q^ 1_ 2\). (With an appendix by John P. Burgess)] ⋮ Lindelöf models of the reals: solution to a problem of Sikorski ⋮ Meeting of the Association for Symbolic Logic, New York, 1979 ⋮ S-forcing. I: a black-box theorem for morasses, with applications to super-Souslin trees ⋮ Simplified morasses with linear limits
This page was built for publication: Consistency proofs in model theory: A contribution to Jensenlehre
