Idempotent ultrafilters without Zorn's lemma

DOI10.1090/PROC/13719zbMATH Open1427.03053arXiv1701.03301OpenAlexW2589624157WikidataQ124850892 ScholiaQ124850892MaRDI QIDQ4590993FDOQ4590993

Authors: Mauro Di Nasso, Eleftherios Tachtsis 

Publication date: 21 November 2017

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

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.

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

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

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)

Cites Work

• Finite sums from sequences within cells of a partition of N
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebra in the Stone-Čech compactification. Theory and applications
• On rapid idempotent ultrafilters
• Introduction to Ramsey space
• Ramsey's Theorem for n-Parameter Sets
• Algebra in the Stone-Čech compactification and its applications to Ramsey theory
• 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
• Quotient sets and density recurrent sets
• Partition regular structures contained in large sets are abundant
• The Existence of Almost Translation Invariant Ultrafilters on Any Semigroup
• Hindman's theorem and idempotent types
• Čech-Stone compactifications of discrete spaces in ZF and some weak forms of the Boolean prime ideal theorem
• Remarks on the Stone Spaces of the Integers and the Reals without AC
• Title not available (Why is that?)
• On the set-theoretic strength of Ellis' theorem and the existence of free idempotent ultrafilters on \(\omega\)

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)