Forcing with finite conditions

&
Annals of Pure and Applied Logic 164 (1):49-64 (2013)
  Copy   BIBTEX

Abstract

We give a construction of the square principle by means of forcing with finite conditions

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2012.09.002

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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

Forcing Axioms, Finite Conditions and Some More.Mirna Džamonja - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 17--26.
Strongly adequate sets and adding a club with finite conditions.John Krueger - 2014 - Archive for Mathematical Logic 53 (1-2):119-136.
Finite quasivarieties and self-referential conditions.Alexei Vernitski - 2004 - Studia Logica 78 (1-2):337 - 348.
Universal forcing notions and ideals.Andrzej Rosłanowski & Saharon Shelah - 2007 - Archive for Mathematical Logic 46 (3-4):179-196.
Forcing in łukasiewicz predicate logic.Antonio Di Nola, George Georgescu & Luca Spada - 2008 - Studia Logica 89 (1):111-145.
Adding Closed Unbounded Subsets of ω₂ with Finite Forcing.William J. Mitchell - 2005 - Notre Dame Journal of Formal Logic 46 (3):357-371.
Combinatorics on ideals and forcing with trees.Marcia J. Groszek - 1987 - Journal of Symbolic Logic 52 (3):582-593.
Grigorieff Forcing on Uncountable Cardinals Does Not Add a Generic of Minimal Degree.Brooke M. Andersen & Marcia J. Groszek - 2009 - Notre Dame Journal of Formal Logic 50 (2):195-200.
Forcing in Finite Structures.Domenico Zambella - 1997 - Mathematical Logic Quarterly 43 (3):401-412.
C. C. C. forcing without combinatorics.Alan H. Mekler - 1984 - Journal of Symbolic Logic 49 (3):830-832.
Suslin forcing and parametrized ♢ principles.Hiroaki Minami - 2008 - Journal of Symbolic Logic 73 (3):752-764.
A very absolute Pi-1-2 real singleton.René David - 1982 - Annals of Mathematical Logic 23 (2-3):101-120.
A formalism for some class of forcing notions.Piotr Koszmider & P. Koszmider - 1992 - Mathematical Logic Quarterly 38 (1):413-421.
Projective absoluteness for Sacks forcing.Daisuke Ikegami - 2009 - Archive for Mathematical Logic 48 (7):679-690.

Analytics

Added to PP
2013-12-12

Downloads
56 (#274,303)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Džamonja Mirna
University of East Anglia

Citations of this work

Forcing with adequate sets of models as side conditions.John Krueger - 2017 - Mathematical Logic Quarterly 63 (1-2):124-149.
Two applications of finite side conditions at omega _2.Itay Neeman - 2017 - Archive for Mathematical Logic 56 (7-8):983-1036.
The approachability ideal without a maximal set.John Krueger - 2019 - Annals of Pure and Applied Logic 170 (3):297-382.

Add more citations

References found in this work

[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
Strong axioms of infinity and elementary embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.
Squares, scales and stationary reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
Scales, squares and reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (1):35-98.

View all 9 references / Add more references