English
Related papers

Related papers: $G_\delta$ semifilters and $\omega^*$

200 papers

We investigate the combinatorial structure of the set of maximal antichains in a Boolean algebra ordered by almost refinement. We also consider the reaping relation and its associated cardinal invariants, focusing in particular on reduced…

Logic · Mathematics 2026-01-28 Jörg Brendle , Michael Hrušák , Francesco Parente

For an ultrafilter $D$ on a cardinal $\kappa,$ we wonder for which pair $(\theta_1, \theta_2)$ of regular cardinals, we have: for any $(\theta_1+\theta_2)^+-$saturated dense linear order $J, J^{\kappa}/ D$ has a cut of cofinality…

Logic · Mathematics 2016-09-20 Mohammad Golshani , Saharon Shelah

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

Using Cuntz semigroup techniques, we characterize when limit traces are dense in the space of all traces on a free ultrapower of a C*-algebra. More generally, we consider density of limit quasitraces on ultraproducts of C*-algebras. Quite…

Operator Algebras · Mathematics 2023-03-14 Ramon Antoine , Francesc Perera , Leonel Robert , Hannes Thiel

We define and study certain linear orders on chainable continua. Those orders depend on a sequence of chains obtained from definition of chainability and on a fixed non-principal ultrafilter on the set of natural numbers. An alternative…

General Topology · Mathematics 2026-02-10 Witold Marciszewski , Julia Ścisłowska , Benjamin Vejnar

We continue our investigation =of Shelah's interpretability orders $\trianglelefteq^*_\kappa$ as well as the new orders $\trianglelefteq^\times_\kappa$. In particular, we give streamlined proofs of the existence of minimal unstable,…

Logic · Mathematics 2018-11-14 Douglas Ulrich

We characterize all the locally compact abelian (LCA) groups that contain quasicrystals (a class of model sets). Moreover, we describe all possible quasicrystals in the group constructing an appropriate lattice associated with the cut and…

Classical Analysis and ODEs · Mathematics 2018-10-15 E. Agora , J. Antezana , C. Cabrelli , B. Matei

Realizing free semicircular elements on the full Fock space, we prove an equivalence between rationality of operators obtained from them and finiteness of the rank of their commutators with right annihilation operators. This is an analogue…

Operator Algebras · Mathematics 2022-12-06 Akihiro Miyagawa

For an intra-regular or a left regular and left duo ordered $\Gamma$-semigroup $M$, we describe the principal filter of $M$ which plays an essential role in the structure of this type of $po$-$\Gamma$-semigroups. We also prove that an…

Rings and Algebras · Mathematics 2015-11-04 Niovi Kehayopulu , Michael Tsingelis

We consider five divisibility orders on the Stone-\v{C}ech compactification $\beta N$. We find antichains of incompatible elements, and characterize maximal and minimal elements. The main result shows that two of these relations, $\mid_L$…

Logic · Mathematics 2016-05-18 Boris Šobot

In this paper, we characterize the possible cofinalities of the least $\lambda$-strongly compact cardinal. We show that, on the one hand, for any regular cardinal, $\delta$, that carries a $\lambda$-complete uniform ultrafilter, it is…

Logic · Mathematics 2022-02-04 Zhixing You , Jiachen Yuan

We study the Dirichlet problem for the semi--linear partial differential equations ${\rm div}\,(A\nabla u)=f(u)$ in simply connected domains $D$ of the complex plane $\mathbb C$ with continuous boundary data. We prove the existence of the…

Complex Variables · Mathematics 2019-04-09 Vladimir Gutlyanskii , Olga Nesmelova , Vladimir Ryazanov

We study some topics about \L o\'s's theorem without assuming the Axiom of Choice. We prove that \L o\'s's fundamental theorem of ultraproducts is equivalent to a weak form that every ultrapower is elementary equivalent to its source…

Logic · Mathematics 2024-08-13 Toshimichi Usuba

Let $\Omega$ be a smooth compact oriented 3-dimensional Riemannian manifold with boundary. A quaternion field is a pair $q=\{\alpha,u\}$ of a function $\alpha$ and a vector field $u$ on $\Omega$. A field $q$ is {\it harmonic} if $\alpha, u$…

Functional Analysis · Mathematics 2019-01-29 Mikhail I. Belishev , Aleksei F. Vakulenko

We prove that \textsf{P}-points (even strong P-points) and Gruff ultrafilters exist in any forcing extension obtained by adding fewer than $\aleph_{\omega}% $-many random reals to a model of \textsf{CH. }These results improve and correct…

Logic · Mathematics 2025-09-18 Alan Dow , Osvaldo Guzmán

A semigroup $S$ is said to be right pseudo-finite if the universal right congruence can be generated by a finite set $U\subseteq S\times S$, and there is a bound on the length of derivations for an arbitrary pair $(s,t)\in S\times S$ as a…

Group Theory · Mathematics 2022-11-14 Victoria Gould , Craig Miller , Thomas Quinn-Gregson , Nik Ruskuc

Let $\Omega$ be a bounded, convex, centrally symmetric in $\mathbb{R}^{2}$ with a connected $C^{2,\epsilon}$ ($\epsilon\in(0,1)$) boundary. We show that, if the following overdetermined elliptic problem \begin{equation} -\Delta u=\alpha…

Analysis of PDEs · Mathematics 2025-11-26 Guowei Dai , Yingxin Sun , Juncheng Wei , Yong Zhang

Let $S$ be a semigroup, let $n\in\mathbb{N}$ be a positive natural number, let $A,B\subseteq S$, let $\mathcal{U},\mathcal{V}\in\beta S$ and let let $\mathcal{F}\subseteq\{f:S^{n}\rightarrow S\}$. We say that $A$ is $\mathcal{F}$-finitely…

Combinatorics · Mathematics 2015-04-01 Lorenzo Luperi Baglini

For a compact group $\mathbb{G}$, the functor from unital Banach algebras with contractive morphisms to metric spaces with 1-Lipschitz maps sending a Banach algebra $A$ to the space of $\mathbb{G}$-representations in $A$ preserves filtered…

Functional Analysis · Mathematics 2023-11-23 Alexandru Chirvasitu

We answer Blass' question from 1989 of whether the inequality $\gu < \gro$ is strictly stronger than the filter dichotomy principle affirmatively. We show that there is a forcing extension in which every non-meagre filter on $\omega$ is…

Logic · Mathematics 2015-06-29 Heike Mildenberger