English
Related papers

Related papers: Continuous and other finitely generated canonical …

200 papers

An ultrafilter $\mathcal{U}$ on a countable base {\em has continuous Tukey reductions} if whenever an ultrafilter $\mathcal{V}$ is Tukey reducible to $\mathcal{U}$, then every monotone cofinal map $f:\mathcal{U}\ra\mathcal{V}$ is continuous…

Logic · Mathematics 2011-10-20 Natasha Dobrinen

This article surveys results regarding the Tukey theory of ultrafilters on countable base sets. The driving forces for this investigation are Isbell's Problem and the question of how closely related the Rudin-Keisler and Tukey…

Logic · Mathematics 2014-02-03 Natasha Dobrinen

We investigate the structure of the Tukey types of ultrafilters on countable sets partially ordered by reverse inclusion. A canonization of cofinal maps from a p-point into another ultrafilter is obtained. This is used in particular to…

Logic · Mathematics 2011-10-20 Natasha Dobrinen , Stevo Todorcevic

Answering a question of Dobrinen and Todorcevic, we prove that below any stable ordered-union ultrafilter $\mathcal{U}$, there are exactly four nonprincipal Tukey classes: $[\mathcal{U}], [\mathcal{U}_{\operatorname{min}}],…

Logic · Mathematics 2024-10-08 Tan Özalp

We investigate the Tukey type of the generic ultrafilter added by the quotient $\mathcal{P}(\omega \times \omega) / (\mathrm{FIN} \times \mathrm{FIN})$. We prove that this ultrafilter is not basically generated and yet does not have the…

Logic · Mathematics 2012-10-30 Dilip Raghavan

We study two generalizations of the Rudin-Keisler ordering to ultrafilters on complete Boolean algebras. To highlight the difference between them, we develop new techniques to construct incomparable ultrafilters in this setting.…

Logic · Mathematics 2022-12-06 Jörg Brendle , Francesco Parente

We continue the study of the pseudo-intersection property with respect to an ideal introduced in \cite{TomNatasha2}. Our theory applies to the study of the Tukey types of general sums of ultrafilters, which, as evidenced by the results of…

Logic · Mathematics 2025-12-10 Tom Benhamou

We investigate the structure of ultrafilters on Boolean algebras in the framework of Tukey reducibility. In particular, this paper provides several techniques to construct ultrafilters which are not Tukey maximal. Furthermore, we connect…

Logic · Mathematics 2022-04-08 Jörg Brendle , Francesco Parente

We introduce a new class of ultrafilters which generalizes the well-known class of simple $P$-point ultrafilters. We prove that for any well-founded $\sigma$-directed partial order $\mathbb{D}$ there is a mild forcing extension where there…

Logic · Mathematics 2026-04-02 Tom Benhamou , James Cummings , Gabriel Goldberg , Yair Hayut , Alejandro Poveda

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 investigate the local topological structure of non-metrizable topological groups through the lens of Tukey order and cofinal types. Motivated by recent advances in topological groups admitting an $\omega^\omega$-base, we introduce the…

General Topology · Mathematics 2026-05-26 Xuan Gong , Dekui Peng

Motivated by a Tukey classification problem we develop here a new topological Ramsey space $\mathcal{R}_1$ that in its complexity comes immediately after the classical is a natural Ellentuck space \cite{MR0349393}. Associated with…

Logic · Mathematics 2012-04-09 Natasha Dobrinen , Stevo Todorcevic

We prove a single category-theoretic result encapsulating the notions of ultrafilters, ultrapower, ultraproduct, tensor product of ultrafilters, the Rudin--Kiesler partial ordering on ultrafilters, and Blass's category of ultrafilters UF.…

Category Theory · Mathematics 2020-06-03 Richard Garner

Associated to each ultrafilter $\mathcal{U}$ on $\omega$ and each map $p:\omega\rightarrow \omega$ is a Dedekind cut in the ultrapower $\omega^{\omega}/p( \mathcal{U})$. Blass has characterized, under CH, the cuts obtainable when…

Logic · Mathematics 2014-01-14 Timothy Trujillo

Motivated by Tukey classification problems and building on work in \cite{Dobrinen/Todorcevic11}, we develop a new hierarchy of topological Ramsey spaces $\mathcal{R}_{\alpha}$, $\alpha<\omega_1$. These spaces form a natural hierarchy of…

Logic · Mathematics 2012-05-29 Natasha Dobrinen , Stevo Todorcevic

We study ultrafilters on regular uncountable cardinals, with a primary focus on $\omega_1$, and particularly in relation to the Tukey order on directed sets. Results include the independence from ZFC of the assertion that every uniform…

Logic · Mathematics 2025-07-31 Tom Benhamou , Justin T. Moore , Luke Serafin

We propose a uniform method of constructing ultrafilter extensions from canonical models, which is based on the similarity between ultrafilters and maximal consistent sets. This method can help us understand why the known ultrafilter…

Logic · Mathematics 2018-06-20 Jie Fan

In this paper, we introduce cosine Thurston maps. In particular, we construct postsingularly finite topological cosine maps and focus on such maps with strictly preperiodic critical points. We use the techniques of Hubbard, Schleicher, and…

Dynamical Systems · Mathematics 2025-04-03 Schinella D'Souza

There exist two known canonical types of ultrafilter extensions of first-order models; one comes from modal logic and universal algebra, another one from model theory and algebra of ultrafilters, with ultrafilter extensions of semigroups as…

Logic · Mathematics 2021-06-17 Nikolai L. Poliakov , Denis I. Saveliev

We study ultrafilters on $\omega^2$ produced by forcing with the quotient of $\scr P(\omega^2)$ by the Fubini square of the Fr\'echet filter on $\omega$. We show that such an ultrafilter is a weak P-point but not a P-point and that the only…

Logic · Mathematics 2013-08-20 Andreas Blass , Natasha Dobrinen , Dilip Raghavan
‹ Prev 1 2 3 10 Next ›