Models with second order properties. V: A general principle

DOI10.1016/0168-0072(93)90033-AMaRDI QIDQ688436zbMATH OpenFDO

Authors S. 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

gamecombinatorial principlegeneric extension

Mathematics Subject Classification ID

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

Abstract: We present a general framework for carrying out some constructions. The unifying factor is a combinatorial principle which we present in terms of a game in which the first player challenges the second player to carry out constructions which would be much easier in a generic extension of the universe, and the second player cheats with the aid of Diamond. Section 1 contains an axiomatic framework suitable for the description of a number of related constructions, and the statement of the main theorem in terms of this framework. In section 2 we illustrate the use of our combinatorial principle. The proof of the main result is then carried out in sections 3-5.

Recommendations

• Models with second order properties. IV. A general method and eliminating diamonds
• scientific article; zbMATH DE number 3908418
• Indescribable cardinals without diamonds
• Large normal ideals concentrating on a fixed small cardinality
• The Ehrenfeucht-Fraisse-Game of Length ω 1

Cites work

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

Cited in

(13)

• ``Gap 1 two-cardinal principles and the omitting types theorem for \(\mathcal L(\mathcal Q)\)
• Models with second order properties. IV. A general method and eliminating diamonds
• A Forcing Axiom Deciding the Generalized Souslin Hypothesis
• Further cardinal arithmetic
• Vive la différence. III
• Possible PCF algebras
• scientific article; zbMATH DE number 3908418 (Why is no real title available?)
• Products of regular cardinals and cardinal invariants of products of Boolean algebras
• A long chain of P-points
• Another proof of a result of Jech and Shelah
• Morasses, square and forcing axioms
• Vive la différence. II: The Ax-Kochen isomorphism theorem
• The generalized continuum hypothesis revisited

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q688436)