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

DOI10.1007/BF02011630MaRDI QIDQ3967520zbMATH OpenFDO

Authors S. 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) Abstract model theory (03C95) Second- and higher-order model theory (03C85)

Cites work

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

Cited in

(13)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3967520)