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 ℵω, A Transfer Theorem for Nonstandard Uniserials