Related papers: $\mathsf{RT}_2^2$ does not imply $\mathsf{WKL}_0$

We prove the Farrell-Jones Conjecture for (non-connective) $A$-theory with coefficients and finite wreath products for hyperbolic groups, CAT(0)-groups, cocompact lattices in almost connected Lie groups and fundamental groups of manifolds…

We consider the foundational relation between arithmetic and set theory. Our goal is to criticize the construction of standard arithmetic models as providing grounds for arithmetic truth (even in a relative sense). Our method is to…

Let W be an affine PI algebra over a field of characteristic zero graded by a finite group G. We show that there exist $\alpha_{1},\alpha_{2}\in\mathbb{R}, \beta\in\frac{1}{2}\mathbb{Z}$, and $l\in\mathbb{N}$ such that…

From the Lytchak's result for polar foliations on an irreducible simply connected symmetric space $G/K$ of compact type and rank greater than one, we can derive that there exists no equifocal submanifold with non-flat section whose…

In 1994 Jech gave a model theoretic proof of G\"odel's second incompleteness theorem for Zermelo-Fraenkel set theory in the following form: ZF does not prove that ZF has a model. Kotlarski showed that Jech's proof can be adapted to Peano…

We consider the scalar second order ODE u + |u | $\alpha$ u + |u| $\beta$ u = 0, where $\alpha$, $\beta$ are two positive numbers and the non-linear semi-group S(t) generated on IR 2 by the system in (u, u). We prove that S(t)IR 2 is…

We show that a class of Dirichlet series ${\mathfrak{A}}^{\#}$ that is much larger than the extended Selberg class ${\mathscr{S}}^{\#}$, and also contains the standard as well as the tensor product, exterior square and symmetric square…

We show that the first order structure whose underlying universe is $\mathbb C$ and whose basic relations are all algebraic subset of $\mathbb C^2$ does not have quantifier elimination. Since an algebraic subset of $\mathbb C ^2$ needs…

A forcing poset of size 2^{2^{aleph_1}} which adds no new reals is described and shown to provide a Delta^2_2 definable well-order of the reals (in fact, any given relation of the reals may be so encoded in some generic extension). The…

We consider fragments of uniform reflection for formulas in the analytic hierarchy over theories of second order arithmetic. The main result is that for any second order arithmetic theory $T_0$ extending ${\sf RCA}_0$ and axiomatizable by a…

Let $(X, +)$ denote $(\mathbb{R}, +)$ or $(2^{\omega}, +_2)$. We prove that for any meagre set $F \subseteq X$ there exists a subgroup $G \le X$ without the Baire property, disjoint with some translation of F. We point out several…

Let kappa be an uncountable regular cardinal. Assuming 2^kappa=kappa^+, we show that the clone lattice on a set of size kappa is not dually atomic.

We generalize the notion of saturated order to infinite partial orders and give both a set-theoretic and an algebraic characterization of such orders. We then study the proof theoretic strength of the equivalence of these characterizations…

Assuming a mild non-degeneracy condition excluding very low-level Cantor endpoints, and assuming a counting/input hypothesis for the contribution of non-deep orbit indices, we show that for the quadratic field $K=\mathbb{Q}(\alpha)$ there…

We construct explicitly a Kac-Moody algebra associated to SL$(2, \mathbb R)$ in two different but equivalent ways: either by identifying a Hilbert basis of $L^2($SL$(2, \mathbb R))$ or by the Plancherel Theorem. Central extensions and…

Let $A \subseteq F_2^n$ be a set with $|2A| = K|A|$. We prove that if (1) for at least a fraction $1-K^{-9}$ of all $s \in 2A$, the set $(A+s) \cap A$ has size at most $L\cdot|A|/K$, or (2) for at least a fraction $K^{-L}$ of all $s \in…

We establish a generalization of Littlewood's criterion on $L^\alpha$-flatness by proving that there is no $L^\alpha$-flat polynomials, $\alpha>0$, within the class of analytic polynomials on the unit circle of the form $…

We show that the universally axiomatized, induction-free theory PA^- is a sequential theory in the sense of Pudl\'ak [5], in contrast to the closely related Robinson's arithmetic.

Let $KG$ be the group algebra of a torsion group $G$ over a field $K$. We show that if the units of $KG$ satisfy a Laurent polynomial identity which is not satisfied by the units of the relative free algebra $K[\alpha,\beta :…

The Wigner-Eckart theorem is a well known result for tensor operators of su(2) and, more generally, any compact Lie algebra. In this paper the theorem will be generalized to the particular non-compact case of sl(2,R). In order to do so,…