Abstract
This short note contains the proofs of two small but somewhat surprising results about ultrafilters on \(\mathbb {N}\): (1) strongly summable ultrafilters are rapid, (2) every rapid ultrafilter induces a closed left ideal of rapid ultrafilters. As a consequence, there will be rapid minimal idempotents in all models of set theory with rapid ultrafilters. The history of this result has been published as an experiment in mathematical writing on the author’s website (Krautzberger, One Day in Colorado or Strongly Summable Ultrafilters are Rapid, 2012) and (Krautzberger, Rapid Idempotent Ultrafilters, 2012) where you can can also find additional remarks by Blass and Hindman, offering a form of peer-review.
Similar content being viewed by others
References
Blass, A.R., Hindman, N.: On strongly summable ultrafilters and union ultrafilters. Trans. Am. Math. Soc. 304, 83–99 (1987)
Hindman, N., Strauss, D.: Algebra in the stone-Čech compactification: theory and applications, vol. 27. de Gruyter (1998)
Krautzberger, P.: On strongly summable ultrafilters. N. Y. J. Math., 16 (2010)
Krautzberger, P.: One Day in Colorado or Strongly Summable Ultrafilters are Rapid (2012). http://boolesrings.org/krautzberger/2012/04/02/one-day-in-colorado-or-strongly-summable-ultrafilters-are-rapid/. Accessed 28 Mar 2014
Krautzberger, P.: Rapid Idempotent Ultrafilters (2012). http://boolesrings.org/krautzberger/2012/04/08/rapid-idempotent-ultrafilters/. Accessed 28 Mar 2014
Matet, P.: Some filters of partitions. J. Symb. Logic 53(2), 540–553 (1988)
Miller, A.W.: There are Q no-points in Laver’s model for the Borel conjecture. Proc. Am. Math. Soc. 78(1), 103–106 (1980)
Acknowledgments
Partially supported by DFG-grant KR 3818.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jimmie D. Lawson.
Rights and permissions
About this article
Cite this article
Krautzberger, P. On rapid idempotent ultrafilters. Semigroup Forum 89, 692–696 (2014). https://doi.org/10.1007/s00233-014-9598-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-014-9598-8