Related papers: Borel sets without perfectly many overlapping tran…

We consider the complexity of special $\alpha$-limit sets, a kind of backward limit set for non-invertible dynamical systems. We show that these sets are always analytic, but not necessarily Borel, even in the case of a surjective map on…

Let $(P,\leq)$ be a finite poset (partially ordered set), where $P$ has cardinality $n$. Consider linear extensions of $P$ as permutations $x_1x_2\cdots x_n$ in one-line notation. For distinct elements $x,y\in P$, we define…

The cardinal invariants $ \mathfrak h, \mathfrak b, \mathfrak s$ of $\mathcal P (\omega)$ are known to satisfy that $\omega_1 \leq \mathfrak h \leq\min\{\mathfrak b, \mathfrak s\}$. We prove that all inequalities can be strict. We also…

We force a classification of all the Abelian groups of cardinality at most $2^\mathfrak c$ that admit a countably compact group with a non-trivial convergent sequence. In particular, we answer (consistently) Question 24 of Dikranjan and…

We give, using higher Bernstein polynomials defined in our paper [2], a stronger version of our previous result in [1] whose converse is proved in [2] and we give some complements to the results in [2] which help to compute these higher…

We obtain critical pair theorems for subsets S and T of an abelian group such that |S+T| < |S|+|T|+1. We generalize some results of Chowla, Vosper, Kemperman and a more recent result due to Rodseth and one of the authors.

In $\mathsf{ZFC}$, if there is a measurable cardinal with infinitely many Woodin cardinals below it, then for every equivalence relation $E \in L(\mathbb{R})$ on $\mathbb{R}$ with all $\mathbf{\Delta}_1^1$ classes and every $\sigma$-ideal…

We note that some form of the condition "$p_1, p_2$ have a $\leq_{\mathbb{Q}}$-lub in $\mathbb{Q}$" is necessary in some forcing axiom for $\lambda$-complete $\mu^+$-c.c. forcing notions. We also show some versions are really stronger than…

We prove that the statement `For all Borel ideals I and J on $\omega$, every isomorphism between Boolean algebras $P(\omega)/I$ and $P(\omega)/J$ has a continuous representation' is relatively consistent with ZFC. In this model every…

In this note, we consider all possible extensions G of a non-trivial perfect group H acting faithfully on a K3 surface X. The pair (X, G) is proved to be uniquely determined by G if the transcendental value of G is maximum. In particular,…

We give a new upper bound on the Selberg zeta function for a convex co-compact Schottky group acting on $ {\mathbb H}^{n+1}$: in strips parallel to the imaginary axis the zeta function is bounded by $ \exp (C |s|^\delta) $ where $ \delta $…

We introduce a new topological generalization of the $\sigma$-projective hierarchy, not limited to Polish spaces. Earlier attempts have replaced $^{\omega}\omega$ by $^{\kappa}\kappa$, for $\kappa$ regular uncountable, or replaced countable…

The notion of a complete Boolean algebra, although completely legitimate in constructive mathematics, fails to capture some natural structures such as the lattice of subsets of a given set. Sambin's notion of an overlap algebra, although…

Let G be an additive abelian group whose finite subgroups are all cyclic. Let A_1,...,A_n (n>1) be finite subsets of G with cardinality k>0, and let b_1,...,b_n be pairwise distinct elements of G with odd order. We show that for every…

A corollary of Kneser's theorem, one sees that any finite non-empty subset $A$ of an abelian group $G = (G,+)$ with $|A + A| \leq (2-\eps) |A|$ can be covered by at most $\frac{2}{\eps}-1$ translates of a finite group $H$ of cardinality at…

Given a compact interval $I \subseteq \mathbb{R}$, and a function $f$ that is a product of a nonzero polynomial with a Gaussian, it will be shown that the translates $\{ f(\cdot - \lambda) : \lambda \in \Lambda \}$ are complete in $C(I)$ if…

Let k be a finite field, a global field or a local non-archimedean field. Let H_1 and H_2 be two split, connected, semisimple algebraic groups defined over k. We prove that if H_1 and H_2 share the same set of maximal k-tori up to…

Let $I(t)= \oint_{\delta(t)} \omega$ be an Abelian integral, where $H=y^2-x^{n+1}+P(x)$ is a hyperelliptic polynomial of Morse type, $\delta(t)$ a horizontal family of cycles in the curves $\{H=t\}$, and $\omega$ a polynomial 1-form in the…

We give an alternate proof of a Theorem of Elek and Szabo establishing L\"uck's determinant conjecture for sofic groups. Our proof is based on traces on group C*-algebras. We briefly discuss the relation with Atiyah's problem on the…

Assuming that $0^\dagger$ does not exist, we prove that if there is a partition of $\mathbb R$ into $\aleph_\omega$ Borel sets, then there is also a partition of $\mathbb R$ into $\aleph_{\omega+1}$ Borel sets.