English
Related papers

Related papers: There may be no Hausdorff ultrafilters

200 papers

We present some new results on strongly summable ultrafilters. As the main result, we extend a theorem by N. Hindman and D. Strauss on writing strongly summable ultrafilters as sums.

Logic · Mathematics 2010-12-22 Peter Krautzberger

We investigate which filters on $\omega$ can contain towers, that is, a modulo finite descending sequence without any pseudointersection (in $[\omega]^\omega$). We prove the following results: - Many classical examples of nice tall filters…

Logic · Mathematics 2016-05-17 Jörg Brendle , Barnabás Farkas , Jonathan Verner

We point out one of the differences between rapid ultrafilters and Q-points: Rapid ultrafilters may have empty intersection with van der Waerden ideal, whereas every Q-point has a non-empty intersection with van der Waerden ideal. Assuming…

Logic · Mathematics 2010-06-01 Jana Flašková

Using the property of being completely Baire, countable dense homogeneity and the perfect set property we will be able, under Martin's Axiom for countable posets, to distinguish non-principal ultrafilters on $\omega$ up to homeomorphism.…

General Topology · Mathematics 2019-12-11 Andrea Medini , David Milovich

We say that an ultrafilter on an infinite group $G$ is DTC if it determines the topological centre of the semigroup $\beta G$. We prove that DTC ultrafilters do not exist for virtually BFC groups, and do exist for the countable groups that…

Group Theory · Mathematics 2021-04-15 Jan Pachl , Juris Steprāns

In \cite{HK}, Hayut and Karagila asked some questions about uniform ultrafilters in a choiceless context. We provide several answers to their questions.

Logic · Mathematics 2024-01-11 Toshimichi Usuba

We characterize various Menger/Rothberger related properties by means of ultrafilter convergence, and discuss their behavior with respect to products.

General Topology · Mathematics 2016-08-30 Paolo Lipparini

We continue the research of the relation $\hspace{1mm}\widetilde{\mid}\hspace{1mm}$ on the set $\beta {\mathbb{N}}$ of ultrafilters on ${\mathbb{N}}$, defined as an extension of the divisibility relation. It is a quasiorder, so we see it as…

Logic · Mathematics 2023-06-22 Boris Šobot

We prove a strong dichotomy for the number of ultrapowers of a given countable model associated with nonprincipal ultrafilters on N. They are either all isomorphic, or else there are $2^{2^{\aleph_0}}$ many nonisomorphic ultrapowers. We…

Logic · Mathematics 2009-12-03 Ilijas Farah , Saharon Shelah

We give several topological/combinatorial conditions that, for a filter on $\omega$, are equivalent to being a non-meager $\mathsf{P}$-filter. In particular, we show that a filter is countable dense homogeneous if and only if it is a…

General Topology · Mathematics 2014-10-07 Kenneth Kunen , Andrea Medini , Lyubomyr Zdomskyy

It is proved to be consistent relative to a measurable cardinal that there is a uniform ultrafilter on the real numbers which is generated by fewer than the maximum possible number of sets. It is also shown to be consistent relative to a…

Logic · Mathematics 2019-04-05 Dilip Raghavan , Saharon Shelah

Ultrafilters are useful mathematical objects having applications in nonstandard analysis, Ramsey theory, Boolean algebra, topology, and other areas of mathematics. In this note, we provide a categorical construction of ultrafilters in terms…

Category Theory · Mathematics 2009-05-13 Daniel Litt , Zachary Abel , Scott D. Kominers

We prove that there exist uncountably many separable II$_1$ factors whose ultrapowers (with respect to arbitrary ultrafilters) are non-isomorphic. In fact, we prove that the families of non-isomorphic II$_1$ factors originally introduced by…

Operator Algebras · Mathematics 2017-10-18 Rémi Boutonnet , Ionut Chifan , Adrian Ioana

Ultrafunctions are a particular class of functions defined on a non-Archimedean field. They provide generalized solutions to functional equations which do not have any solutions among the real functions or the distributions. In this paper…

Functional Analysis · Mathematics 2013-03-01 Vieri Benci , Lorenzo Luperi Baglini

Assuming the Generalized Continuum Hypothesis, this paper answers the question: when is the tensor product of two ultrafilters equal to their Cartesian product? It is necessary and sufficient that their Cartesian product is an ultrafilter;…

Logic · Mathematics 2025-06-11 Gabriel Goldberg

Let $G$ be a finitely generated pro-$p$ group, equipped with the $p$-power series. The associated metric and Hausdorff dimension function give rise to the Hausdorff spectrum, which consists of the Hausdorff dimensions of closed subgroups of…

Group Theory · Mathematics 2019-02-26 Benjamin Klopsch , Anitha Thillaisundaram , Amaia Zugadi-Reizabal

We prove, in ZFC alone, some new results on regularity and decomposability of ultrafilters. We also list some problems, and furnish applications to topological spaces and to extended logics.

Logic · Mathematics 2011-06-07 Paolo Lipparini

We develop the theory of cofinal types of ultrafilters over measurable cardinals and establish its connections to Galvin's property. We generalize fundamental results from the countable to the uncountable, but often in surprisingly…

Logic · Mathematics 2026-02-11 Tom Benhamou , Natasha Dobrinen

We address the question of the consistency strength of certain filters and ultrafilters which fail to satisfy the Galvin property. We answer questions \cite[Questions 7.8,7.9]{TomMotiII}, \cite[Question 5]{NegGalSing} and improve theorem…

Logic · Mathematics 2024-03-05 Tom Benhamou , Shimon Garti , Moti Gitik , Alejandro Poveda

Let $n$ be any positive integer and $\mathscr{I\!P\!F}(\mathbb{N}^n)$ be the semigroup of all order isomorphisms between principal filters of the $n$-th power of the set of positive integers $\mathbb{N}$ with the product order. We prove…

General Topology · Mathematics 2019-08-23 Taras Mokrytskyi