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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,497

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

Strongly adequate sets and adding a club with finite conditions.John Krueger - 2014 - Archive for Mathematical Logic 53 (1-2):119-136.
Forcing with adequate sets of models as side conditions.John Krueger - 2017 - Mathematical Logic Quarterly 63 (1-2):124-149.
Specialising Trees with Small Approximations I.Rahman Mohammadpour - forthcoming - Journal of Symbolic Logic:1-24.
Adding many Baumgartner clubs.David Asperó - 2017 - Archive for Mathematical Logic 56 (7-8):797-810.
Measuring club-sequences together with the continuum large.David Asperó & Miguel Angel Mota - 2017 - Journal of Symbolic Logic 82 (3):1066-1079.
Forcing with Sequences of Models of Two Types.Itay Neeman - 2014 - Notre Dame Journal of Formal Logic 55 (2):265-298.
Mitchell-inspired forcing, with small working parts and collections of models of uniform size as side conditions, and gap-one simplified morasses.Charles Morgan - 2022 - Journal of Symbolic Logic 87 (1):392-415.
SPFA by finite conditions.Moti Gitik & Menachem Magidor - 2016 - Archive for Mathematical Logic 55 (5-6):649-661.
Itay Neeman. Forcing with sequences of models of two types. Notre Dame Journal of Formal Logic, vol. 55 , pp. 265–298. [REVIEW]Dima Sinapova - 2015 - Bulletin of Symbolic Logic 21 (3):339-341.
New methods in forcing iteration and applications.Rahman Mohammadpour - 2023 - Bulletin of Symbolic Logic 29 (2):300-302.

Analytics

Added to PP
2017-05-27

Downloads
25 (#867,763)

6 months
2 (#1,692,400)

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.
Adding Closed Unbounded Subsets of ω₂ with Finite Forcing.William J. Mitchell - 2005 - Notre Dame Journal of Formal Logic 46 (3):357-371.
Chang’s Conjecture and weak square.Hiroshi Sakai - 2013 - Archive for Mathematical Logic 52 (1-2):29-45.

View all 8 references / Add more references