``Gap 1 two-cardinal principles and the omitting types theorem for \(\mathcal L(\mathcal Q)\)

DOI10.1007/BF02764857zbMath0681.03016MaRDI QIDQ1823234

Saharon Shelah

Publication date: 1989

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

Henkin construction; omitting types theorems; set-theoretic equivalents to two-cardinal transfer principles; strong limit singular cardinals

Mathematics Subject Classification ID

03E05: Other combinatorial set theory

03C55: Set-theoretic model theory

Related Items

The two-cardinals transfer property and resurrection of supercompactness 󠀼span style=󠀢color:red󠀢󠀾This article has been retracted󠀼/span󠀾, On regular reduced products, Cardinal transfer properties in extender models, Model theory of the regularity and reflection schemes, Regular ultrafilters and finite square principles

Cites Work

• Models with second order properties. V: A general principle
• Uncountable constructions for B. A., e. c. groups and Banach spaces
• Can you take Solovay's inaccessible away?
• Two cardinal compactness
• Models with second order properties in successors of singulars
• Models with second order properties. III. Omitting types forL(Q)
• Models with second order properties I. Boolean algebras with no definable automorphisms
• Models with second order properties II. Trees with no undefined branches
• Appendix to models with second order properties II trees with no undefined branches
• Logic with the quantifier “there exist uncountably many”