Related papers: Coanalytic Ultrafilter Bases
We construct a model in which the splitting number is large and every ultrafilter has a small subset with no pseudo-intersection.
We prove that after adding a Silver real no ultrafilter from the ground model can be extended to a P-point, and this remains to be the case in any further extension which has the Sacks property. We conclude that there are no P-points in the…
Complete sets of mutually unbiased bases are only known to exist in prime-power dimensions. We will describe a few approaches to the problem proving the (non)-existence of four mutually unbiased bases in dimension 6. These will include the…
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…
We have developed a general method for constructing a set of non-orthogonal bases with equal separations between all different basis' states in prime dimensions.It results that the corresponding bi-orthogonal counterparts are pairwise…
We offer a $\forall\exists$-definition for (affine) Campana points over $\mathbb{P}^1_K$ (where $K$ is a number field), which constitute a set-theoretical filtration between $K$ and $\mathcal{O}_{K,S}$ ($S$-integers), which are well-known…
For a system of N qubits, spanning a Hilbert space of dimension d=2^N, it is known that there exists d+1 mutually unbiased bases. Different construction algorithms exist, and it is remarkable that different methods lead to sets of bases…
Selective ultrafilters are characterized by many equivalent properties, in particular the Ramsey property that every finite colouring of unordered pairs of integers has a homogeneous set in U, and the equivalent property that every function…
We construct a family of unital non-associative algebras $\{T_\alpha\vert~ 2<\alpha\in\mathbb R\}$ such that $\underline{exp}(T_\alpha)=2$, whereas $\alpha\le\overline{exp}(T_\alpha)\le\alpha+1$. In particular, it follows that ordinary…
We prove several general results on non existence of analytic first integrals for analytic diffeomorphisms possessing a hyperbolic fixed point.
Building on work of van Engelen and van Mill, we show that a zero-dimensional Borel space is homeomorphic to a semifilter if and only if it is homogeneous and not locally compact. Under $\mathbf{\Sigma}^1_1$-Determinacy, this result extends…
An earlier paper, entitled "P-hierarchy on $\beta\omega$", investigated the relations between ordinal ultrafilters and the so-called P-hierarchy. This study is continued in the present paper and focuses on the aspects of characterization of…
The coprimary filtration is a basic construction in commutative algebra. In this article, we prove the existence and uniqueness of coprimary filtration of modules (not necessarily finitely generated) over a Noetherian ring. Moreover, we…
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…
We show that there exist models $\mathcal M_1$ and $\mathcal M_2$ such that $\mathcal M_1$ elementarily embeds into $\mathcal M_2$ but their ultrafilter extensions $\beta(\mathcal M_1)$ and $\beta(\mathcal M_2)$ are not elementarily…
The Borel mapping takes germs at $0$ of smooth functions to the sequence of iterated partial derivatives at $0$. We prove that the Borel mapping restricted to the germs of any quasianalytic ultradifferentiable class strictly larger than the…
We construct a class of quantum field theories depending on the data of a holomorphic Poisson structure on a piece of the underlying spacetime. The main technical tool relies on a characterization of deformations and anomalies of such…
This paper investigates conditions under which canonical cofinal maps of the following three types exist: continuous, generated by finitary end-extension preserving maps, and generated by finitary maps. The main theorems prove that every…
For globally subanalytic manifolds we define de Rham complexes of globally subanalytic differential forms and of constructible differential forms. Whereas the de Rham theorem does not hold for the former in the non-compact case, it does…
We investigate families of partitions of omega which are related to special coideals, so-called happy families, and give a dual form of Ramsey ultrafilters in terms of partitions. The combinatorial properties of these…