Appendix to models with second order properties II trees with no undefined branches
From MaRDI portal
Publication:4163513
DOI10.1016/0003-4843(78)90017-7zbMath0383.03020OpenAlexW2018127732MaRDI QIDQ4163513
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)90017-7
Trees (05C05) Large cardinals (03E55) Second- and higher-order model theory (03C85) Other model constructions (03C30)
Related Items
Can you take Solovay's inaccessible away? ⋮ On Certain Elementary Extensions of Models of Set Theory ⋮ Identities on cardinals less than ℵω ⋮ The consistency of ZFC + 2ℵ0 > ℵω + ℐ(ℵ2) = ℐ(ℵω) ⋮ A Transfer Theorem for Nonstandard Uniserials ⋮ ``Gap 1 two-cardinal principles and the omitting types theorem for \(\mathcal L(\mathcal Q)\) ⋮ Nice infinitary logics