Decomposable Ultrafilters and Possible Cofinalities

Notre Dame Journal of Formal Logic 49 (3):307-312 (2008)
  Copy   BIBTEX

Abstract

We use Shelah's theory of possible cofinalities in order to solve some problems about ultrafilters. Theorem: Suppose that $\lambda$ is a singular cardinal, $\lambda ' \lessthan \lambda$, and the ultrafilter $D$ is $\kappa$ -decomposable for all regular cardinals $\kappa$ with $\lambda '\lessthan \kappa \lessthan \lambda$. Then $D$ is either $\lambda$-decomposable or $\lambda ^+$-decomposable. Corollary: If $\lambda$ is a singular cardinal, then an ultrafilter is ($\lambda$,$\lambda$)-regular if and only if it is either $\operator{cf} \lambda$-decomposable or $\lambda^+$-decomposable. We also give applications to topological spaces and to abstract logics

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

Similar books and articles

Ultrafilters on ω.James E. Baumgartner - 1995 - Journal of Symbolic Logic 60 (2):624-639.
Ultrafilters which extend measures.Michael Benedikt - 1998 - Journal of Symbolic Logic 63 (2):638-662.
On the cofinality of ultrapowers.Andreas Blass & Heike Mildenberger - 1999 - Journal of Symbolic Logic 64 (2):727-736.
A characterization of 2-square ultrafilters.Ned I. Rosen - 1983 - Journal of Symbolic Logic 48 (2):409-414.
On Milliken-Taylor Ultrafilters.Heike Mildenberger - 2011 - Notre Dame Journal of Formal Logic 52 (4):381-394.
Reasonable Ultrafilters, Again.Andrzej Rosłanowski & Saharon Shelah - 2011 - Notre Dame Journal of Formal Logic 52 (2):113-147.
A note on a result of Kunen and Pelletier.Julius B. Barbanel - 1992 - Journal of Symbolic Logic 57 (2):461-465.
Saturating ultrafilters on N.D. H. Fremlin & P. J. Nyikos - 1989 - Journal of Symbolic Logic 54 (3):708-718.
Ultrafilters on the natural numbers.Christopher Barney - 2003 - Journal of Symbolic Logic 68 (3):764-784.
How are the sciences of complex systems possible?Michael Strevens - 2005 - Philosophy of Science 72 (4):531-556.
A few special ordinal ultrafilters.Claude Laflamme - 1996 - Journal of Symbolic Logic 61 (3):920-927.

Analytics

Added to PP
2010-09-13

Downloads
30 (#504,503)

6 months
7 (#350,235)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

More on regular and decomposable ultrafilters in ZFC.Paolo Lipparini - 2010 - Mathematical Logic Quarterly 56 (4):340-374.

Add more citations

References found in this work

Model-Theoretic Logics.Jon Barwise & Solomon Feferman - 2017 - Cambridge University Press.
On descendingly incomplete ultrafilters.Kenneth Kunen & Karel Prikry - 1971 - Journal of Symbolic Logic 36 (4):650-652.
Indecomposable ultrafilters over small large cardinals.Michael Sheard - 1983 - Journal of Symbolic Logic 48 (4):1000-1007.
Ultrafilter translations.Paolo Lipparini - 1996 - Archive for Mathematical Logic 35 (2):63-87.

View all 6 references / Add more references