Shelah, Saharon Models with second order properties. II: Trees with no undefined branches. (English) Zbl 0383.03019 Ann. Math. Logic 14, 73-87 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 ReviewsCited in 31 Documents MSC: 03C85 Second- and higher-order model theory 03C30 Other model constructions 05C05 Trees 06A06 Partial orders, general 03C80 Logic with extra quantifiers and operators PDF BibTeX XML Cite \textit{S. Shelah}, Ann. Math. Logic 14, 73--87 (1978; Zbl 0383.03019) Full Text: DOI OpenURL