JEDNOSTKA NAUKOWA KATEGORII A+

Coherent adequate sets and forcing square

Tom 224 / 2014

John Krueger Fundamenta Mathematicae 224 (2014), 279-300 MSC: Primary 03E40; Secondary 03E05. DOI: 10.4064/fm224-3-5

Streszczenie

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 $\omega _2$ using finite conditions.

Autorzy

  • John KruegerDepartment of Mathematics
    University of North Texas
    1155 Union Circle #311430
    Denton, TX 76203, U.S.A.
    e-mail

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek