Two applications of finite side conditions at omega _2

Archive for Mathematical Logic 56 (7-8):983-1036 (2017)
  Copy   BIBTEX

Abstract

We present two applications of forcing with finite sequences of models as side conditions, adding objects of size \. The first involves adding a \ sequence and variants of such sequences. The second involves adding partial weak specializing functions for trees of height \.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s00153-017-0550-y

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Analytics

Added to PP
2017-05-27

Downloads
23 (#705,674)

6 months
5 (#710,311)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The approachability ideal without a maximal set.John Krueger - 2019 - Annals of Pure and Applied Logic 170 (3):297-382.
Specialising Trees with Small Approximations I.Rahman Mohammadpour - forthcoming - Journal of Symbolic Logic:1-24.

Add more citations

References found in this work

Forcing with Sequences of Models of Two Types.Itay Neeman - 2014 - Notre Dame Journal of Formal Logic 55 (2):265-298.
Remarks on superatomic boolean algebras.James E. Baumgartner & Saharon Shelah - 1987 - Annals of Pure and Applied Logic 33 (C):109-129.
Coherent adequate forcing and preserving CH.John Krueger & Miguel Angel Mota - 2015 - Journal of Mathematical Logic 15 (2):1550005.
Chang’s Conjecture and weak square.Hiroshi Sakai - 2013 - Archive for Mathematical Logic 52 (1-2):29-45.
Adding Closed Unbounded Subsets of ω₂ with Finite Forcing.William J. Mitchell - 2005 - Notre Dame Journal of Formal Logic 46 (3):357-371.

View all 8 references / Add more references