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

DOI10.1007/BF02764857zbMath0681.03016OpenAlexW2056201127MaRDI QIDQ1823234

Saharon Shelah

Publication date: 1989

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

Full work available at URL: https://doi.org/10.1007/bf02764857

zbMATH Keywords

Henkin constructionomitting types theoremsset-theoretic equivalents to two-cardinal transfer principlesstrong limit singular cardinals

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Set-theoretic model theory (03C55)

Related Items (5)

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

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”

This page was built for publication: ``Gap 1 two-cardinal principles and the omitting types theorem for \(\mathcal L(\mathcal Q)\)