The Weak Ultrafilter Axiom

Archive for Mathematical Logic 55 (1-2):319-351 (2016)
  Copy   BIBTEX

Abstract

The main theorem is that the Ultrafilter Axiom of Woodin :115–37, 2011) must fail at all cardinals where the Axiom I0 holds, in all non-strategic extender models subject only to fairly general requirements on the non-strategic extender model.

Categories

Keywords

Reprint years

DOI

10.1007/s00153-015-0467-2

Links

PhilArchive



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

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

The axiom of choice and the law of excluded middle in weak set theories.John L. Bell - 2008 - Mathematical Logic Quarterly 54 (2):194-201.
Saturating ultrafilters on N.D. H. Fremlin & P. J. Nyikos - 1989 - Journal of Symbolic Logic 54 (3):708-718.
What kind of preference maximization does the weak axiom of revealed non-inferiority characterize?Michele Lombardi - manuscript
The rigid relation principle, a new weak choice principle.Joel David Hamkins & Justin Palumbo - 2012 - Mathematical Logic Quarterly 58 (6):394-398.
Properties of the real line and weak forms of the Axiom of Choice.Omar De la Cruz, Eric Hall, Paul Howard, Kyriakos Keremedis & Eleftherios Tachtsis - 2005 - Mathematical Logic Quarterly 51 (6):598-609.
Arrow's Theorem, Weglorz' Models and the Axiom of Choice.Norbert Brunner & H. Reiju Mihara - 2000 - Mathematical Logic Quarterly 46 (3):335-359.
Forms of the Pasch axiom in ordered geometry.Victor Pambuccian - 2010 - Mathematical Logic Quarterly 56 (1):29-34.
The strength of extensionality I—weak weak set theories with infinity.Kentaro Sato - 2009 - Annals of Pure and Applied Logic 157 (2-3):234-268.
Tychonoff products of compact spaces in ZF and closed ultrafilters.Kyriakos Keremedis - 2010 - Mathematical Logic Quarterly 56 (5):474-487.
Notions of compactness for special subsets of ℝ I and some weak forms of the axiom of choice.Marianne Morillon - 2010 - Journal of Symbolic Logic 75 (1):255-268.
A notion of selective ultrafilter corresponding to topological Ramsey spaces.José G. Mijares - 2007 - Mathematical Logic Quarterly 53 (3):255-267.
M l.John L. Bell - unknown
The existence of free ultrafilters on ω does not imply the extension of filters on ω to ultrafilters.Eric J. Hall, Kyriakos Keremedis & Eleftherios Tachtsis - 2013 - Mathematical Logic Quarterly 59 (4-5):258-267.
Lévy hierarchy in weak set theories.Jiří Hanika - 2008 - Journal of Philosophical Logic 37 (2):121 - 140.
Extended ultrapowers and the vopěnka-hrbáček theorem without choice.Mitchell Spector - 1991 - Journal of Symbolic Logic 56 (2):592-607.

Analytics

Added to PP
2016-02-04

Downloads
55 (#276,802)

6 months
4 (#657,928)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

W. Hugh Woodin
Harvard University

Citations of this work

No citations found.

Add more citations

References found in this work

Suitable extender models I.W. Hugh Woodin - 2010 - Journal of Mathematical Logic 10 (1):101-339.
Suitable extender models II: Beyond ω-huge.W. Hugh Woodin - 2011 - Journal of Mathematical Logic 11 (2):115-436.
Inner models in the region of a Woodin limit of Woodin cardinals.Itay Neeman - 2002 - Annals of Pure and Applied Logic 116 (1-3):67-155.
Iteration Trees.D. A. Martin & J. R. Steel - 2002 - Bulletin of Symbolic Logic 8 (4):545-546.

Add more references