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.03020MaRDI 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
05C05: Trees
03E55: Large cardinals
03C85: Second- and higher-order model theory
03C30: Other model constructions
Related Items
The consistency of ZFC + 2ℵ0 > ℵω + ℐ(ℵ2) = ℐ(ℵω), Identities on cardinals less than ℵω, Can you take Solovay's inaccessible away?, ``Gap 1 two-cardinal principles and the omitting types theorem for \(\mathcal L(\mathcal Q)\), Nice infinitary logics, On Certain Elementary Extensions of Models of Set Theory, A Transfer Theorem for Nonstandard Uniserials