Models with second order properties. V: A general principle

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

Saharon Shelah, Claude Laflamme, Bradd Hart

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

game; combinatorial principle; generic extension

Mathematics Subject Classification ID

03C50: Models with special properties (saturated, rigid, etc.)

03C85: Second- and higher-order model theory

Related Items

Possible PCF algebras, Vive la différence. II: The Ax-Kochen isomorphism theorem, Further cardinal arithmetic, Morasses, square and forcing axioms, The generalized continuum hypothesis revisited

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