Forcing a set model of Z3 + Harrington's Principle

Mathematical Logic Quarterly 61 (4-5):274-287 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.201300072

Links

PhilArchive



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

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

Harrington’s conservation theorem redone.Fernando Ferreira & Gilda Ferreira - 2008 - Archive for Mathematical Logic 47 (2):91-100.
Forcing with Non-wellfounded Models.Paul Corazza - 2007 - Australasian Journal of Logic 5:20-57.
Essential Forcing Generics.Stephanie Cawthorne & David Kueker - 2000 - Notre Dame Journal of Formal Logic 41 (1):41-52.
The strong reflecting property and Harrington's Principle.Yong Cheng - 2015 - Mathematical Logic Quarterly 61 (4-5):329-340.
Forcing the Least Measurable to Violate GCH.Arthur W. Apter - 1999 - Mathematical Logic Quarterly 45 (4):551-560.
A simple maximality principle.Joel David Hamkins - 2003 - Journal of Symbolic Logic 68 (2):527-550.
Formalizing forcing arguments in subsystems of second-order arithmetic.Jeremy Avigad - 1996 - Annals of Pure and Applied Logic 82 (2):165-191.
PFA and Ideals on $\omega_{2}$ Whose Associated Forcings Are Proper.Sean Cox - 2012 - Notre Dame Journal of Formal Logic 53 (3):397-412.
Forcing in łukasiewicz predicate logic.Antonio Di Nola, George Georgescu & Luca Spada - 2008 - Studia Logica 89 (1):111-145.
Can a small forcing create Kurepa trees.Renling Jin & Saharon Shelah - 1997 - Annals of Pure and Applied Logic 85 (1):47-68.
James Harrington's new deliberative rhetoric: reflection of an anticlassical republicanism.Gary Remer - 1995 - History of Political Thought 16 (4):532-557.
Proper forcing and l(ℝ).Itay Neeman & Jindřich Zapletal - 2001 - Journal of Symbolic Logic 66 (2):801-810.
Iteratively Changing the Heights of Automorphism Towers.Gunter Fuchs & Philipp Lücke - 2012 - Notre Dame Journal of Formal Logic 53 (2):155-174.
Fragility and indestructibility of the tree property.Spencer Unger - 2012 - Archive for Mathematical Logic 51 (5-6):635-645.
Harrington's elusive balance.Andrew Reeve - 1984 - History of European Ideas 5 (4):401-425.

Analytics

Added to PP
2015-09-03

Downloads
27 (#557,528)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yong Cheng
Wuhan University

Citations of this work

The strong reflecting property and Harrington's Principle.Yong Cheng - 2015 - Mathematical Logic Quarterly 61 (4-5):329-340.

Add more citations

References found in this work

Adding a closed unbounded set.J. E. Baumgartner, L. A. Harrington & E. M. Kleinberg - 1976 - Journal of Symbolic Logic 41 (2):481-482.
Proper forcing and remarkable cardinals II.Ralf-Dieter Schindler - 2001 - Journal of Symbolic Logic 66 (3):1481-1492.
Harrington’s principle in higher order arithmetic.Yong Cheng & Ralf Schindler - 2015 - Journal of Symbolic Logic 80 (2):477-489.
Analytic determinacy and 0#. [REVIEW]Leo Harrington - 1978 - Journal of Symbolic Logic 43 (4):685 - 693.

Add more references