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

DOI10.1007/BF02011630zbMATH Open0502.03016MaRDI QIDQ3967520FDOQ3967520

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

• Compact extensions of L(Q) (part 1a)
• A Note on the Two Cardinal Problem
• Models with second order properties II. Trees with no undefined branches
• 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

Cited In (13)

• 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
• Models with second order properties. IV. A general method and eliminating diamonds
• Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
• Two-cardinal diamond and games of uncountable length
• The theorems of beth and Craig in abstract model theory II. Compact logics
• Higher Souslin trees and the GCH, revisited
• Boolean Algebras with Few Endomorphisms
• The generalized continuum hypothesis revisited
• Towers and clubs
• Title not available (Why is that?)
• Magidor-Malitz reflection

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)