English
Related papers

Related papers: Ordinal ultrafilters versus P-hierarchy

200 papers

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

In this article we provide an intrinsic characterization of the famous Howard-Bachmann ordinal in terms of a natural well-partial-ordering by showing that this ordinal can be realized as a maximal order type of a class of generalized trees…

Logic · Mathematics 2015-01-06 Jeroen Van der Meeren , Michael Rathjen , Andreas Weiermann

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

We introduce new cardinal invariants of a poset, called the comparability number and the incomparability number. We determine their value for well-known posets, such as $\omega^\omega$, $\mathcal{P}(\omega)/\mathrm{fin}$, the Turing degrees…

Logic · Mathematics 2026-01-30 Tatsuya Goto

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 study the strength of well-founded ultrafilters on ordinals above choiceless large cardinals and their associated Prikry forcings. Gabriel Goldberg showed that all but boundedly many regular cardinals above a rank Berkeley cardinal carry…

Logic · Mathematics 2025-11-12 William Adkisson , Omer Ben Neria

We show that there is a set of $2^{2^{\kappa}}$ ultrafilters incomparable in Rudin-Frol\'ik order of $\beta \kappa \setminus \kappa$, where $\kappa$ is regular, for which no subset with more than one element has an infimum.

Logic · Mathematics 2023-04-12 Joanna Jureczko

We use Shelah's theory of possible cofinalities in order to solve a problem about ultrafilters. THEOREM. Suppose that $ \lambda $ is a singular cardinal, $ \lambda ' < \lambda $, and the ultrafilter $D$ is $ \kappa $-decomposable for all…

Logic · Mathematics 2009-04-05 Paolo Lipparini

An attempt is given to formulate the extensions of the KP hierarchy by introducing fractional order pseudo-differential operators. In the case of the extension with the half-order pseudo-differential operators, a system analogous to the…

Exactly Solvable and Integrable Systems · Physics 2016-09-08 Masaru Kamata , Atsushi Nakamula

We consider, for infinite cardinals kappa and alpha <= kappa^+, the group Pi(kappa,< alpha) of sequences of integers, of length kappa, with non-zero entries in fewer than alpha positions. Our main result tells when Pi(kappa,< alpha) can be…

Logic · Mathematics 2007-05-23 Andreas Blass , Saharon Shelah

We show from a weak comparison principle (the Ultrapower Axiom) that the Mitchell order is linear on certain kinds of ultrafilters: normal ultrafilters, Dodd solid ultrafilters, and assuming GCH, generalized normal ultrafilters. In the…

Logic · Mathematics 2017-07-05 Gabriel Goldberg

We introduce the notion of a coherent $P$-ultrafilter on a complete ccc Boolean algebra, strenghtening the notion of a $P$-point on $\omega$, and show that these ultrafilters exist generically under ${\mathfrak c} = {\mathfrak d}$. This…

General Topology · Mathematics 2015-06-04 Jan Starý

We generalize the results from "P. Lipparini, Productive $[\lambda,\mu]$-compactness and regular ultrafilters, Topology Proceedings, 21 (1996), 161--171"; in particular the present results apply to singular cardinals, too.

General Topology · Mathematics 2008-04-24 Paolo Lipparini

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 begin the study of the consequences of the existence of certain infinite matrices. Our present application is to compactness of products of topological spaces.

Logic · Mathematics 2008-03-26 Paolo Lipparini

We show the consistency of the set of regular cardinals which are the character of some ultrafilter on omega is not convex. We also deal with the set of pi chi-characters of ultrafilters on omega.

Logic · Mathematics 2007-08-15 Saharon Shelah

All ultrafilters under consideration here are non-principal ultrafilters on the set omega of natural numbers. We are concerned with the possible cofinalities of ultrapowers of omega with respect to such ultrafilters. We show that no…

Logic · Mathematics 2016-09-06 Andreas Blass , Heike Mildenberger

Let $\mathfrak{P}$ be a topological property. We study the relation between the order structure of the set of all $\mathfrak{P}$-extensions of a completely regular space $X$ with compact remainder (partially ordered by the standard partial…

General Topology · Mathematics 2015-02-17 M. R. Koushesh

This ``Perspective'' briefly reviews recent work showing that a class of organic superconductors have important similarities to the cuprate superconductors: (i) There is competition betweeen superconductivity and antiferromagnetism. (ii)…

Strongly Correlated Electrons · Physics 2009-10-31 Ross H. McKenzie

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