Forcing with finite conditions

Annals of Pure and Applied Logic 164 (1):49-64 (2013)
Abstract
We give a construction of the square principle by means of forcing with finite conditions
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2012.09.002
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 33,625
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Fine Structure of the Constructible Hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229-308.
Squares, Scales and Stationary Reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
Adding a Closed Unbounded Set.J. E. Baumgartner, L. A. Harrington & E. M. Kleinberg - 1976 - Journal of Symbolic Logic 41 (2):481-482.
Forcing Closed Unbounded Sets.Uri Abraham & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (3):643-657.

View all 9 references / Add more references

Citations of this work BETA

Two Applications of Finite Side Conditions at Omega _2.Itay Neeman - 2017 - Archive for Mathematical Logic 56 (7-8):983-1036.
Forcing with Adequate Sets of Models as Side Conditions.John Krueger - 2017 - Mathematical Logic Quarterly 63 (1-2):124-149.

Add more citations

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.
Universal Forcing Notions and Ideals.Andrzej Rosłanowski & Saharon Shelah - 2007 - Archive for Mathematical Logic 46 (3-4):179-196.
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.
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 index
2013-12-12

Total downloads
10 ( #498,094 of 2,259,934 )

Recent downloads (6 months)
1 ( #394,659 of 2,259,934 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature