Idempotent ultrafilters without Zorn's lemma

DOI10.1090/PROC/13719MaRDI QIDQ4590993zbMATH OpenOpenAlexWikidataFDO

Authors Mauro Di Nasso, Eleftherios Tachtsis

Publication date 21 November 2017

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1701.03301

zbMATH Keywords

idempotent ultrafiltersultrafilter theoremalgebra on \(\beta\mathbb N\)

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Ramsey theory (05D10) Special constructions of topological spaces (spaces of ultrafilters, etc.) (54D80) Axiom of choice and related propositions (03E25)

Abstract: We introduce the notion of additive filter and present a new proof of the existence of idempotent ultrafilters on N without any use of Zorn's Lemma, and where one only assumes the Ultrafilter Theorem for the continuum.

Recommendations

• Ultrafilters on Abelian groups close to being Ramsey ultrafilters
• Spectra of uniformity.
• On the set-theoretic strength of Ellis' theorem and the existence of free idempotent ultrafilters on \(\omega\)
• On rapid idempotent ultrafilters
• Ramsey algebras and the existence of idempotent ultrafilters

Cites work

• scientific article; zbMATH DE number 46958 (Why is no real title available?)
• scientific article; zbMATH DE number 3571093 (Why is no real title available?)
• scientific article; zbMATH DE number 1201510 (Why is no real title available?)
• Algebra in the Stone-Čech compactification and its applications to Ramsey theory
• Algebra in the Stone-Čech compactification. Theory and applications
• Finite sums from sequences within cells of a partition of N
• Hindman's theorem and idempotent types
• Introduction to Ramsey space
• On rapid idempotent ultrafilters
• On the set-theoretic strength of Ellis' theorem and the existence of free idempotent ultrafilters on \(\omega\)
• Partition regular structures contained in large sets are abundant
• Quotient sets and density recurrent sets
• Ramsey's Theorem for n-Parameter Sets
• Remarks on the Stone Spaces of the Integers and the Reals without AC
• The Existence of Almost Translation Invariant Ultrafilters on Any Semigroup
• The Existence of Certain Ultrafilters on N and a Conjecture of Graham and Rothschild
• The existence of free ultrafilters on \(\omega \) does not imply the extension of filters on \(\omega \) to ultrafilters
• Tychonoff Products of Two-Element Sets and Some Weakenings of the Boolean Prime Ideal Theorem
• Čech-Stone compactifications of discrete spaces in ZF and some weak forms of the Boolean prime ideal theorem

Cited in

(5)

• Hindman's theorem and choice
• On the set-theoretic strength of Ellis' theorem and the existence of free idempotent ultrafilters on \(\omega\)
• Hindman's theorem and idempotent types
• Rado equations solved by linear combinations of idempotent ultrafilters
• Proving Gowers' FIN\(_k\) theorem in \textbf{ZF+DC}

This page was built for publication: Idempotent ultrafilters without Zorn's lemma

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4590993)