Models with second order properties. V: A general principle

DOI10.1016/0168-0072(93)90033-AzbMath0788.03046arXivmath/9311211MaRDI QIDQ688436

Bradd Hart, Saharon Shelah, Claude Laflamme

Publication date: 5 June 1994

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9311211

zbMATH Keywords

gamecombinatorial principlegeneric extension

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Second- and higher-order model theory (03C85)

Related Items (11)

Products of regular cardinals and cardinal invariants of products of Boolean algebras ⋮ A long chain of P-points ⋮ Morasses, square and forcing axioms ⋮ Possible PCF algebras ⋮ A Forcing Axiom Deciding the Generalized Souslin Hypothesis ⋮ The generalized continuum hypothesis revisited ⋮ Vive la différence. III ⋮ Another proof of a result of Jech and Shelah ⋮ Further cardinal arithmetic ⋮ ``Gap 1 two-cardinal principles and the omitting types theorem for \(\mathcal L(\mathcal Q)\) ⋮ Vive la différence. II: The Ax-Kochen isomorphism theorem

Cites Work

• Unnamed Item
• Models with second order properties. IV. A general method and eliminating diamonds
• Uncountable constructions for B. A., e. c. groups and Banach spaces
• Can you take Solovay's inaccessible away?
• On the elementary equivalence of automorphism groups of Boolean algebras; downward Skolem Löwenheim theorems and compactness of related quantifiers
• Boolean Algebras with Few Endomorphisms
• Models with second order properties. III. Omitting types forL(Q)
• 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

This page was built for publication: Models with second order properties. V: A general principle