Related papers: Filter convergence in $\beta\omega$
Let $E, F\subset \R^d$ be two self-similar sets. Under mild conditions, we show that $F$ can be $C^1$-embedded into $E$ if and only if it can be affinely embedded into $E$; furthermore if $F$ can not be affinely embedded into $E$, then the…
Consider A to be a commutative, integral and non-degenerate residuated lattice. In this work, we introduce the graph of comaximal filters on the residuated lattice A. We willdenote by Cf(A) this graph for which the set of vertices are…
A variety of classes of naturally arising ultrafilters on omega is discussed, and the question is raised whether it is consistent that the classes are empty. Since all the classes contain the P-point ultrafilters, a negative answer would…
We investigate the provability of classical combinatorial theorems in ZF. Using combinatorial arguments, we establish the following results for each infinite cardinal ${\kappa}\in On$, (1) ${\kappa}^+\to ({\kappa},{\omega}+1)$, (2) any…
An ultrafilter $p$ on $\omega$ is said to be discrete if, given any function $f\colon \omega \to X$ to any completely regular Hausdorff space, there is an $A \in p$ such that $f(A)$ is discrete. Basic properties of discrete ultrafilters are…
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…
We show that there is a $\beta$-model of second-order arithmetic in which the choice scheme holds, but the dependent choice scheme fails for a $\Pi^1_2$-assertion, confirming a conjecture of Stephen Simpson. We obtain as a corollary that…
We present some homological properties of a relation $\beta$ on ordered groupoids that generalises the minimum group congruence for inverse semigroups. When $\beta$ is a transitive relation on an ordered groupoid $G$, the quotient $G /…
In this paper, first we prove the existence of invariant vector field on a homogeneous Finsler space with infinite series $(\alpha, \beta)$-metric and exponential metric. Next, we deduce an explicit formula for the the $S$-curvature of…
It has been recently shown that $|| F_n(A) ||\leq 2$, where $A$ is a linear continuous operator acting in a Hilbert space, and $F_n$ is the Faber polynomial of degree $n$ corresponding to some convex compact $E\subset \mathbb C$ containing…
We study various combinatorial properties, and the implications between them, for filters generated by infinite-dimensional subspaces of a countable vector space. These properties are analogous to selectivity for ultrafilters on the natural…
Associated with any composition beta=(a,b,...) is a corresponding fence poset F(beta) whose covering relations are x_1 < x_2 < ... < x_{a+1} > x_{a+2} > ... > x_{a+b+1} < x_{a+b+2} < ... The distributive lattice L(beta) of all lower order…
In a recent article (2022) we proved with L. Zaj\'i\v{c}ek that if $ G\subset\R^n $ is an unbounded open convex set that does not contain a translation of a convex cone with non-empty interior, then there exist $ f:G\to\R $ and a concave…
In this paper, we construct the beta function in the functorial formulation of two-dimensional quantum field theories (FQFT). A key feature of this approach is the absence of ultraviolet divergences. We show that, nevertheless, in the FQFT…
Using the method of decisive creatures (math.LO/0601083) we show the consistency of "there is no increasing omega_2 --chain of Borel sets and non(N)=non(M)= omega_2=2^omega". Hence, consistently, there are no monotone hulls for the ideal M…
We show that certain vertex algebras without vacuum vector may be embedded into vertex algebras. The result is a partial analogue of the simple classical fact that any rng can be embedded into a ring. A one-line proof of the case of a…
In this paper we investigate the possibility of unconditional convergence and invertibility of multipliers $M_{m,\Phi,\Psi}$ depending on the properties of the sequences $\Psi$,$\Phi$ and $m$. We characterize a complete set of conditions…
We prove that if $\leq$ is an analytic partial order then either $\leq$ can be extended to a (boldface) $\Delta^1_2$ linear order similar to an antichain in $2^{<\omega_1}$ ordered lexicographically or a certain Borel partial order $\leq_0$…
A self-affine tiling of a compact set G of positive Lebesgue measure is its partition to parallel shifts of a compact set which is affinely similar to G. We find all polyhedral sets (unions of finitely many convex polyhedra) that admit…
We introduce the bosonic and fermionic ensembles of density matrices and study their entanglement. In the fermionic case, we show that random bipartite fermionic density matrices have non-positive partial transposition, hence they are…