Related papers: Perfect set dichotomy theorem in generalized Solov…

We prove a result on perfect cliques with respect to countably many G-delta relations on a complete metric space. As an application, we show that a Polish group contains a free subgroup generated by a perfect set as long as it contains any…

We show under $\sf{ZF} + \sf{DC} + \sf{AD}_{\mathbb{R}}$ that every set of reals is $I$-regular for any $\sigma$-ideal $I$ on the Baire space $\omega^{\omega}$ such that $\mathbb{P}_I$ is proper. This answers the question of Khomskii. We…

In this article, we first generalize Kaplansky's zero-divisor conjecture of group-rings $K[G]$ (with $K$ a field) to the more general setting of $G$-graded rings $R=\bigoplus\limits_{n\in G}R_{n}$ with $G$ a torsion-free group. Then we…

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$…

Let $V$ be a simple vertex operator superalgebra and $G$ a finite automorphism group of $V$ containing the canonical automorphism $\sigma$ such that $V^G$ is regular. It is proved that every irreducible $V^G$-module occurs in an irreducible…

For a digraph $\Gamma$, a subset $C$ of $V(\Gamma)$ is a perfect code if $C$ is a dominating set such that every vertex of $\Gamma$ is dominated by exactly one vertex in $C$. In this paper, we classify strongly connected 2-valent Cayley…

We prove that every many-sorted $\omega$-categorical theory is completely interpretable in a one-sorted $\omega$-categorical theory. As an application, we give a short proof of the existence of non $G$--compact $\omega$-categorical…

We note a parallel between some ideas of stable model theory and certain topics in finite combinatorics related to the sum-product phenomenon. For a simple linear group G, we show that a finite subset X with |X X \^{-1} X |/ |X| bounded is…

In the paper we introduce a weak set theory $\mathsf{H}_{<\omega}$ . A formalization of arithmetic on finite von Neumann ordinals gives an embedding of arithmetical language into this theory. We show that $\mathsf{H}_{<\omega}$ proves a…

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…

We define a hierarchy of systems with topological completely positive entropy in the context of continuous countable amenable group actions on compact metric spaces. For each countable ordinal we construct a dynamical system on the…

We prove two dichotomy theorems about sequences of operators into $L_1$ given by random matrices. In the second theorem we assume that the entries of each random matrix form a sequence of independent, symmetric random variables. Then the…

We introduce the notion of dual perfect bases and dual perfect graphs. We show that every integrable highest weight module $V_q(\lambda)$ over a quantum generalized Kac-Moody algebra $U_{q}(\mathcal{g})$ has a dual perfect basis and its…

A sequence in a $C^*$-algebra $A$ is called completely Sidon if its span in $A$ is completely isomorphic to the operator space version of the space $\ell_1$ (i.e. $\ell_1$ equipped with its maximal operator space structure). The latter can…

We use localized topologies to prove existence and optimal regularity results for the divergence equation $\mathrm{div} (v) = F$ in critical cases $v \in L_1(\Omega;\mathbb{R}^m)$ or $v \in C_0(\Omega;\mathbb{R}^m)$, i.e. we characterize…

In the absence of the Axiom of Choice, the "small" cardinal $\omega_1$ can exhibit properties more usually associated with large cardinals, such as strong compactness and supercompactness. For a local version of strong compactness, we say…

In the absence of the axiom of choice, the set-theoretic status of many natural statements about metrizable compact spaces is investigated. Some of the statements are provable in $\mathbf{ZF}$, some are shown to be independent of…

We make use of some observations on the core model, for example assuming $V=L [ E ]$, and that there is no inner model with a Woodin cardinal, and $M$ is an inner model with the same cardinals as $V$, then $V=M$. We conclude in this latter…

As a motivation, we first recall the possible connection of electric-magnetic duality to finiteness in N=1 super-Yang-Mills theories (SYM). Then, we present the criterion for all-order finiteness (i.e., vanishing of the beta-functions at…

Motivated by the randomized version of the classical Bolzano--Weierstrass theorem, in this paper we first introduce the notion of a random sequentially compact set in a random normed module and develop the related theory systematically.…