Related papers: Initial Tukey structure below a stable ordered-uni…
Paper written in French -- English abstract: This paper proves a particular case of a conjecture of N. Kuhn. This conjecture is as follows. Consider the Gabriel-Krull filtration of the category U of unstable modules. Let U_n, n>=0, be the…
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.…
We characterize the Tukey order, the Galvin property/ Cohesive ultrafilters from \cite{Kanamori1978} in terms of ultrapowers. We use this characterization to measure the distance between the Tukey order and other well-known orders of…
If $S$ is a discrete semigroup, then $\beta S$ has a natural, left-topological semigroup structure extending $S$. Under some very mild conditions, $U(S)$, the set of uniform ultrafilters on $S$, is a two-sided ideal of $\beta S$, and…
Let $K$ be a Klein bottle. We show that the infimum of the Willmore energy among all immersed Klein bottles in Euclidean $n$-space is attained by a smooth embedded Klein bottle, where $n\geq 4$. There are three distinct regular homotopy…
A natural question, which appeared as Problem 61 in Hart and van Mill's list of open problems on $\beta\omega$ (2024), asks whether every finite partial order is embeddable in the Rudin--Keisler order on (types of) ultrafilters over a…
We characterize strong $p$-point ultrafilters by showing that they are exactly those $p$-points that are not Tukey above $(\omega^\omega,\leq)$; or equivalently, those $p$-points that are not Tukey-idempotent. Moreover, we show that there…
For all $k \ge 2$, we show that there exists a group $G$ and a non-free stably free $\mathbb{Z} G$-module of rank $k$. We use this to show that, for all $k \ge 2$, there exist homotopically distinct finite $2$-complexes with fundamental…
One partially ordered set, $Q$, is a Tukey quotient of another, $P$, denoted $P \geq_T Q$, if there is a map $\phi : P \to Q$ carrying cofinal sets of $P$ to cofinal sets of $Q$. Let $X$ be a space and denote by $\mathcal{K}(X)$ the set of…
A topological group is minimal if it does not admit a strictly coarser Hausdorff group topology. The Roelcke uniformity (or lower uniformity) on a topological group is the greatest lower bound of the left and right uniformities. A group is…
Our results in this paper increase the model-theoretic precision of a widely used method for building ultrafilters, and so advance the general problem of constructing ultrafilters whose ultrapowers have a precise degree of saturation. We…
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…
Following Baumgartner [J. Symb. Log. 60 (1995), no. 2], for an ideal $\mathcal{I}$ on $\omega$, we say that an ultrafilter $\mathcal{U}$ on $\omega$ is an $\mathcal{I}$-ultrafilter if for every function $f:\omega\to\omega$ there is $A\in…
Let $S$ be an infinite discrete semigroup. The operation on $S$ extends uniquely to the Stone-\v{C}ech compactification $\beta S$ making $\beta S$ a compact right topological semigroup with $S$ contained in its topological center. As such,…
We study positive subunital maps on ordered effect spaces and introduce the defect $d(T) = u - T(u)$, which satisfies a cocycle identity under composition. Using only this identity and elementary order-theoretic arguments -- requiring no…
A divisibility relation on ultrafilters on the set $\mathbb{N}$ of natural numbers is defined as follows: ${\cal F}\hspace{1mm}\widetilde{\mid}\hspace{1mm}{\cal G}$ if and only if every set in $\cal F$ upward closed for divisibility also…
In this work we study $k$-type uniform Steiner bundles, being $k$ the lowest degree of the splitting. We prove sharp upper and lower bounds for the rank in the case $k=1$ and moreover we give families of examples for every allowed possible…
We prove a compactness theorem for full Boolean-valued models. As an application, we show that if $T$ is a complete countable theory and $\mathcal{B}$ is a complete Boolean algebra, then $\lambda^+$-saturated $\mathcal{B}$-valued models of…
In this work we characterize Ulrich bundles of any rank on polarized rational ruled surfaces over $\mathbb{P}^1$. We show that every Ulrich bundle admits a resolution in terms of line bundles. Conversely, given an injective map between…
We present some new results on union ultrafilters. We characterize stability for union ultrafilters and, as the main result, we construct a new kind of unordered union ultrafilter.