Related papers: $G_\delta$ semifilters and $\omega^*$
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…
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…
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.…
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…
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…
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,…
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…
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…
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…
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$…
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…
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…
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…
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$…
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…
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…
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…
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…
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…
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…