Models with second order properties II. Trees with no undefined branches

DOI10.1016/0003-4843(78)90009-8zbMath0383.03019OpenAlexW1977994335MaRDI QIDQ4163512

Saharon Shelah

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

Mathematics Subject Classification ID

Partial orders, general (06A06) Trees (05C05) Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85) Other model constructions (03C30)

Related Items (32)

Can you take Solovay's inaccessible away? ⋮ Remarks in abstract model theory ⋮ Recursively saturated nonstandard models of arithmetic ⋮ Models with second order properties. III. Omitting types forL(Q) ⋮ Weakly compact cardinals in models of set theory ⋮ Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions ⋮ Condensable models of set theory ⋮ ON THE SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS ⋮ Set theoretical analogues of the Barwise-Schlipf theorem ⋮ Lindelöf models of the reals: solution to a problem of Sikorski ⋮ Models of weak theories of truth ⋮ The bounded proper forcing axiom ⋮ Incomparable ω₁‐like models of set theory ⋮ On the automorphism groups of countable Boolean algebras ⋮ Power-like models of set theory ⋮ Identities on cardinals less than ℵ_ω ⋮ MODELS OF POSITIVE TRUTH ⋮ Definability of initial segments ⋮ Models with second order properties in successors of singulars ⋮ The consistency of ZFC + 2^ℵ₀ > ℵ_ω + ℐ(ℵ₂) = ℐ(ℵ_ω) ⋮ Models with second order properties. V: A general principle ⋮ Blunt and topless end extensions of models of set theory ⋮ Conservative extensions of models of set theory and generalizations ⋮ Preserving old ([omega^{aleph_0},supseteq^*) is proper] ⋮ A standard model of Peano arithmetic with no conservative elementary extension ⋮ MINIMUM MODELS OF SECOND-ORDER SET THEORIES ⋮ Models with second order properties. IV. A general method and eliminating diamonds ⋮ Saturation and simple extensions of models of Peano arithmetic ⋮ ``Gap 1 two-cardinal principles and the omitting types theorem for \(\mathcal L(\mathcal Q)\) ⋮ Destructibility and axiomatizability of Kaufmann models ⋮ On a non-vanishing Ext ⋮ Models of Peano arithmetic and a question of Sikorski on ordered fields

This page was built for publication: Models with second order properties II. Trees with no undefined branches