Related papers: Ultrafilter extensions do not preserve elementary …
We characterize semigroups $X$ whose semigroups of filters $\varphi(X)$, maximal linked systems $\lambda(X)$, linked upfamilies $N_2(X)$, and upfamilies $\upsilon(X)$ are commutative.
We classify certain sofic shifts (the irreducible Point Extension Type, or PET, sofic shifts) up to flow equivalence, using invariants of the canonical Fischer cover. There are two main ingredients: (1) An extension theorem, for extending…
While every polyadic algebra ($\PA$) of dimension 2 is representable, we show that not every atomic polyadic algebra of dimension two is completely representable; though the class is elementary. Using higly involved constructions of Hirsch…
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…
Using model theoretic techniques that proved that the class of $n$ neat reducts of $m$ dimensional cylindric algebras, $\Nr_n\CA_m$, is not elementary, we prove the same result for $\Ra\CA_k$, $k\geq 5$, and we show that $\Ra\CA_k\subset…
We show that if a module M over a basic classical Lie superalgebra of type type I is simultaneously a Verma module with respect to some Borel \(\mathfrak b_1\) and a dual Verma module with respect to Borel \(\mathfrak b_2\), then M is…
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…
Given a Boolean algebra B and an embedding e:B -> P(N)/fin we consider the possibility of extending each or some automorphism of B to the whole P(N)/fin. Among other things, we show, assuming CH, that for a wide class of Boolean algebras…
Creating accurate meta-embeddings from pre-trained source embeddings has received attention lately. Methods based on global and locally-linear transformation and concatenation have shown to produce accurate meta-embeddings. In this paper,…
We introduce and study $\mu$-elements, that generalize a lattice-theoretic abstraction (namely, essential elements) of essential ideals of rings, essential submodules of modules, and dense subsets of topological spaces. Exploring several…
We study two generalizations of the Rudin-Keisler ordering to ultrafilters on complete Boolean algebras. To highlight the difference between them, we develop new techniques to construct incomparable ultrafilters in this setting.…
In this paper we find new integrable one-dimensional lattice models of electrons. We classify all such nearest-neighbour integrable models with su(2)xsu(2) symmetry following the procedure first introduced in arXiv:1904.12005. We find 12…
We investigate the Tukey type of the generic ultrafilter added by the quotient $\mathcal{P}(\omega \times \omega) / (\mathrm{FIN} \times \mathrm{FIN})$. We prove that this ultrafilter is not basically generated and yet does not have the…
This work analyses a class of extensions of the Standard Model through the lens of a novel exact parameterisation. This parameterisation is specially suitable to the analysis of extensions of the Standard Model with non-unitary mixing…
A matrix $T \in \M_n(\C)$ is \emph{UECSM} if it is unitarily equivalent to a complex symmetric (i.e., self-transpose) matrix. We develop several techniques for studying this property in dimensions three and four. Among other things, we…
There is a long history of studying Ramsey theory using the algebraic structure of the Stone-\v{C}ech compactification of discrete semigroup. It has been shown that various Ramsey theoretic structures are contained in different algebraic…
We establish negative results about "rectangular" local bases in compacta. For example, there is no compactum where all points have local bases of cofinal type \omega x \omega_2. For another, the compactum \beta\omega has no nontrivially…
The non-elementary integrals $\mbox{Si}_{\beta,\alpha}=\int [\sin{(\lambda x^\beta)}/(\lambda x^\alpha)] dx,\beta\ge1,\alpha>\beta+1$ and $\mbox{Ci}_{\beta,\alpha}=\int [\cos{(\lambda x^\beta)}/(\lambda x^\alpha)] dx, \beta\ge1,…
We show that the analogues of the Hamkins embedding theorems, proved for the countable models of set theory, do not hold when extended to the uncountable realm of $\omega_1$-like models of set theory. Specifically, under the $\diamondsuit$…
The notion of the ultrametrics can be considered as a zero-dimensional analogue of ordinary metrics, and it is expected to prove ultrametric versions of theorems on metric spaces. In this paper, we provide ultrametric versions of the…