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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,445

External links

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

Through your library

Similar books and articles

Coherent adequate forcing and preserving CH.John Krueger & Miguel Angel Mota - 2015 - Journal of Mathematical Logic 15 (2):1550005.
Short extenders forcings – doing without preparations.Moti Gitik - 2020 - Annals of Pure and Applied Logic 171 (5):102787.
Forcing with Sequences of Models of Two Types.Itay Neeman - 2014 - Notre Dame Journal of Formal Logic 55 (2):265-298.
Forcing with adequate sets of models as side conditions.John Krueger - 2017 - Mathematical Logic Quarterly 63 (1-2):124-149.
Model theory of finite fields and pseudo-finite fields.Zoé Chatzidakis - 1997 - Annals of Pure and Applied Logic 88 (2-3):95-108.
Strongly adequate sets and adding a club with finite conditions.John Krueger - 2014 - Archive for Mathematical Logic 53 (1-2):119-136.
Two applications of finite side conditions at omega _2.Itay Neeman - 2017 - Archive for Mathematical Logic 56 (7-8):983-1036.

Analytics

Added to PP
2013-12-12

Downloads
66 (#266,416)

6 months
7 (#541,996)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Džamonja Mirna
University of East Anglia

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