Related papers: Ultrafilter extensions do not preserve elementary …
We prove that bold N, the standard model of arithmetic, has an uncountable elementary extension N such that there is no ultrafilter on the Boolean Algebra of subsets of bold N represented in N which is minimal (i.e. as in Rudin-Keisler…
We present several combinatorial properties of semiselective ideals on the set of natural numbers. The continuum hypothesis implies that the complement of every selective ideal contains a selective ultrafilter, however for semiselective…
Given a semilattice $X$ we study the algebraic properties of the semigroup $\upsilon(X)$ of upfamilies on $X$. The semigroup $\upsilon(X)$ contains the Stone-Cech extension $\beta(X)$, the superextension $\lambda(X)$, and the space of…
We show that in extender models there are no generic embeddings with critical point $\omega_1$ that resemble the stationary tower at the second Woodin cardinal.
We develop an elementary divisor theory for the unimodular and the modular group over quadratic field extensions and quaternion algebras. In particular, we investigate which sets of elementary divisors can occur. Under an additional…
We continue algebraization of the set of ultrafilters on a metric spaces initiated in [6]. In particular, we define and study metric counterparts of prime, strongly prime and right cancellable ultrafilters from the Stone-$\check{C}$ech…
We introduce $\textit{Laver ultrafilters}$, namely ultrafilters $\mathcal{U}$ for which the associated Laver forcing $\mathbb{L}_{\mathcal{U}}$ has the Laver property. We give simple combinatorial characterisations of these ultrafilters,…
The modified associate formalism is compared with similar models, such as the classical associate model, the associate species model and the modified quasichemical model. Advantages of the modified associate formalism are demonstrated.
We prove that, consistently with ZFC, no ultraproduct of countably infinite (or separable metric, non-compact) structures is isomorphic to a reduced product of countable (or separable metric) structures associated to the Fr\'echet filter.…
Let $\mathcal{C}$ be a finitely bicomplete category and $\mathcal{W}$ a subcategory. We prove that the existence of a model structure on $\mathcal{C}$ with $\mathcal{W}$ as subcategory of weak equivalence is not first order expressible.…
In classical model theory, the Keisler--Shelah theorem establishes a fundamental connection between the elementary equivalence of structures and the isomorphism of their ultrapowers. Motivated by this, one may ask whether an analogous…
Ultrafilters are useful mathematical objects having applications in nonstandard analysis, Ramsey theory, Boolean algebra, topology, and other areas of mathematics. In this note, we provide a categorical construction of ultrafilters in terms…
One takes advantage of some basic properties of every homotopic $\lambda$-model (e.g.\ extensional Kan complex) to explore the higher $\beta\eta$-conversions, which would correspond to proofs of equality between terms of a theory of…
We construct, using mild combinatorial hypotheses, a real Menger set that is not Scheepers, and two real sets that are Menger in all finite powers, with a non-Menger product. By a forcing-theoretic argument, we show that the same holds in…
We propose a method that learns a discriminative yet semantic space for object categorization, where we also embed auxiliary semantic entities such as supercategories and attributes. Contrary to prior work which only utilized them as side…
We give a necessary combinatorial condition on a filter F to admit an injective F-convergent sequence in $\beta\omega$. We also show that no analytic filter F admits an injective F-convergent sequence in $\beta\omega$. This answers a…
In this paper we give an alternative construction using Monk like algebras that are binary generated to show that the class of strongly representable atom structures is not elementary. The atom structures of such algebras are cylindric…
In this article, we introduce mock-Lie superalgebras, we give some definitions, properties, constructions, and we study their representations. Moreover we introduce pseudo-euclidean mock-Lie superalgebras which are mock-Lie superalgebras…
Unextendible sets of Mutually Unbiased Bases (MUBs) are examined from the point of view of complementary subalgebras. We show, that the linear span of less than $d+1$ factors of $M_d \otimes M_d$ does not contain pure states, and therefore…
For a finite lattice $\Lambda$, $\Lambda$-ultrametric spaces have, among other reasons, appeared as a means of constructing structures with lattices of equivalence relations embedding $\Lambda$. This makes use of an isomorphism of…