Models with second order properties II. Trees with no undefined branches
From MaRDI portal
Publication:4163512
DOI10.1016/0003-4843(78)90009-8zbMath0383.03019MaRDI QIDQ4163512
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)90009-8
06A06: Partial orders, general
05C05: Trees
03C80: Logic with extra quantifiers and operators
03C85: Second- and higher-order model theory
03C30: Other model constructions
Related Items
Power-like models of set theory, The consistency of ZFC + 2ℵ0 > ℵω + ℐ(ℵ2) = ℐ(ℵω), The bounded proper forcing axiom, Identities on cardinals less than ℵω, Models with second order properties. V: A general principle, Definability of initial segments, On a non-vanishing Ext