Models with second order properties. III. Omitting types forL(Q)

DOI10.1007/BF02011630zbMath0502.03016MaRDI QIDQ3967520

Saharon Shelah

Publication date: 1981

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137972

zbMATH Keywords

standard modeldiamondomitting type theoremstrong omitting type

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85) Abstract model theory (03C95)

Related Items (13)

Unnamed Item ⋮ Boolean Algebras with Few Endomorphisms ⋮ Higher Souslin trees and the GCH, revisited ⋮ The consistency strength of ``every stationary set reflects ⋮ The generalized continuum hypothesis revisited ⋮ Models with second order properties. V: A general principle ⋮ Magidor-Malitz reflection ⋮ Towers and clubs ⋮ Models with second order properties. IV. A general method and eliminating diamonds ⋮ ``Gap 1 two-cardinal principles and the omitting types theorem for \(\mathcal L(\mathcal Q)\) ⋮ The theorems of beth and Craig in abstract model theory II. Compact logics ⋮ Two-cardinal diamond and games of uncountable length ⋮ Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)

Cites Work

• Higher Souslin trees and the generalized continuum hypothesis
• Compact extensions of L(Q) (part 1a)
• Models with second order properties I. Boolean algebras with no definable automorphisms
• Models with second order properties II. Trees with no undefined branches
• A Note on the Two Cardinal Problem
• Logic with the quantifier “there exist uncountably many”

This page was built for publication: Models with second order properties. III. Omitting types forL(Q)