Related papers: Ultrafilter selection and Corson compacta
We try to build, provably in ZFC, for a first order T a model in which any isomorphism between two Boolean algebras is definable. The problem, compared to [Sh:384], is with pseudo-finite Boolean algebras. A side benefit is that we do not…
We show that polynomial time Turing equivalence and a large class of other equivalence relations from computational complexity theory are universal countable Borel equivalence relations. We then discuss ultrafilters on the invariant Borel…
A Boolean algebra carries a strictly positive exhaustive submeasure if and only if it has a sequential topology that is uniformly Frechet.
Under large cardinal hypotheses beyond the Kunen inconsistency -- hypotheses so strong as to contradict the Axiom of Choice -- we solve several variants of the generalized continuum problem and identify structural features of the levels…
Intuitively, the filter dimension of an algebra or a module measures how `close' standard filtrations of the algebra or the module are. In particular, for a simple algebra it also measures the growth of how `fast' one can prove that the…
This is the first of two papers on the superselection sectors of the conformal model in the title, in a time zero formulation. A classification of the sectors of the net of observables as restrictions of solitonic (twisted) and…
The main aim of the paper is to introduce a new class of (semigroup-valued) measures that are ultrahomogeneous on the Boolean algebra of all clopen subsets of the Cantor space and to study their automorphism groups. A characterisation, in…
We construct in ZFC a countably compact group without non-trivial convergent sequences of size $2^{\mathfrak{c}}$, answering a question of Bellini, Rodrigues and Tomita. We also construct in ZFC a selectively pseudocompact group which is…
We investigate the structure of the lattice of clones on an infinite set X. We first observe that ultrafilters naturally induce clones; this yields a simple proof of Rosenberg's theorem: "there are 2^2^kappa many maximal (=precomplete)…
Topological groups whose underlying spaces are basically disconnected, $F$-, or $F'$-spaces but not $P$-spaces are considered. It is proved, in particular, that the existence of a Lindel\"of basically disconnected topological group which is…
We establish some similarities/analogies between uncountable cardinals or powersets and the class $V$ of all sets. They concern mainly the Boolean algebras ${\cal P}(\kappa)$, for a regular cardinal $\kappa$, and ${\cal C}(V)$ (the class of…
We denote by Conc(A) the semilattice of all finitely generated congruences of an (universal) algebra A, and we define Conc(V) as the class of all isomorphic copies of all Conc(A), for A in V, for any variety V of algebras. Let V and W be…
We consider abstract Sobolev spaces of Bessel-type associated with an operator. In this work, we pursue the study of algebra properties of such functional spaces through the corresponding semigroup. As a follow-up of [4], we show that under…
We continue the study of the Galvin property from \cite{bgs} and \cite{Benhamou2}. In particular, we deepen the connection between certain diamond-like principles and non-Galvin ultrafilters. We also show that any Dodd sound non p-point…
We study ultrafilters on regular uncountable cardinals, with a primary focus on $\omega_1$, and particularly in relation to the Tukey order on directed sets. Results include the independence from ZFC of the assertion that every uniform…
A linear system on a smooth complex algebraic surface gives rise to a family of smooth curves in the surface. Such a family has a topological monodromy representation valued in the mapping class group of a fiber. Extending arguments of…
In this paper we generalize the algebraic density property to not necessarily smooth affine varieties relative to some closed subvariety containing the singular locus. This property implies the remarkable approximation results for…
A subset $A$ of a Boolean algebra $B$ is said to be $(n,m)$-reaped if there is a partition of unity $P \subset B$ of size $n$ such that the cardinality of $\{b \in P: b \wedge a \neq \emptyset\}$ is greater than or equal to $m$ for all…
To work more accurately with elements of the semigroup of the Stone Cech compactification of the discrete semigroup of natural numbers N under multiplication. We divided these elements into ultrafilters which are on finite levels and…
We study the Fourier--Stieltjes algebra of Roelcke precompact, non-archimedean, Polish groups and give a model-theoretic description of the Hilbert compactification of these groups. We characterize the family of such groups whose…