Martin’s Maximum and definability in H

Annals of Pure and Applied Logic 156 (1):110-122 (2008)

In [P. Larson, Martin’s Maximum and the axiom , Ann. Pure App. Logic 106 135–149], we modified a coding device from [W.H. Woodin, The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal, Walter de Gruyter & Co, Berlin, 1999] and the consistency proof of Martin’s Maximum from [M. Foreman, M. Magidor, S. Shelah, Martin’s Maximum. saturated ideals, and non-regular ultrafilters. Part I, Annal. Math. 127 1–47] to show that from a supercompact limit of supercompact cardinals one could force Martin’s Maximum to hold while the axiom fails. Here we modify that argument to prove a stronger fact, that Martin’s Maximum is consistent with the existence of a wellordering of the reals definable in H without parameters, from the same large cardinal hypothesis. In doing so we give a much simpler proof of the original result
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2008.06.012
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: 46,282
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

Set Mapping Reflection.Justin Tatch Moore - 2005 - Journal of Mathematical Logic 5 (1):87-97.
The Size of $\Tilde{T}$.Paul Larson - 2000 - Archive for Mathematical Logic 39 (7):541-568.
The Nonstationary Ideal in the Pmax Extension.Paul B. Larson - 2007 - Journal of Symbolic Logic 72 (1):138 - 158.
Guessing and Non-Guessing of Canonical Functions.David Asperó - 2007 - Annals of Pure and Applied Logic 146 (2):150-179.
Martin's Maximum and The.Paul Larson - 2000 - Annals of Pure and Applied Logic 106 (1-3):135-149.

Add more references

Citations of this work BETA

Characterizing All Models in Infinite Cardinalities.Lauri Keskinen - 2013 - Annals of Pure and Applied Logic 164 (3):230-250.
On a Class of Maximality Principles.Daisuke Ikegami & Nam Trang - 2018 - Archive for Mathematical Logic 57 (5-6):713-725.

Add more citations

Similar books and articles

Fragments of Martin's Maximum in Generic Extensions.Y. Yoshinobu & B. Konig - 2004 - Mathematical Logic Quarterly 50 (3):297.
On Definability in Multimodal Logic.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):451-468.
Separating Stationary Reflection Principles.Paul Larson - 2000 - Journal of Symbolic Logic 65 (1):247-258.
Definability and Definable Groups in Simple Theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
Strong Analogues of Martin's Axiom Imply Axiom R.Robert E. Beaudoin - 1987 - Journal of Symbolic Logic 52 (1):216-218.
Abstract Beth Definability in Institutions.Marius Petria & Răzvan Diaconescu - 2006 - Journal of Symbolic Logic 71 (3):1002 - 1028.
The Size of $\Tilde{T}$.Paul Larson - 2000 - Archive for Mathematical Logic 39 (7):541-568.
Definability in Reducts of Algebraically Closed Fields.Gary A. Martin - 1988 - Journal of Symbolic Logic 53 (1):188-199.


Added to PP index

Total views
23 ( #404,054 of 2,285,985 )

Recent downloads (6 months)
3 ( #413,898 of 2,285,985 )

How can I increase my downloads?


My notes

Sign in to use this feature