Coherent adequate sets and forcing square

• Autorzy: John Krueger
• Języki publikacji: EN

Abstrakty

EN

We introduce the idea of a coherent adequate set of models, which can be used as side conditions in forcing. As an application we define a forcing poset which adds a square sequence on ω₂ using finite conditions.

Kategorie tematyczne

• 03E05: Other combinatorial set theory
• 03E40: Other aspects of forcing and Boolean-valued models

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Fundamenta Mathematicae
• Rocznik: 2014
• Tom: 224
• Numer: 3
• Strony: 279-300

Daty

wydano

2014

Twórcy

autor

John Krueger

• Department of Mathematics, University of North Texas, 1155 Union Circle #311430, Denton, TX 76203, U.S.A.

Identyfikatory

DOI

10.4064/fm224-3-5