Related papers: A model in which the Separation principle holds fo…

Shelah has provided sufficient conditions for an $L_{\omega_1, \omega}$-sentence $\psi$ to have arbitrarily large models and for a Morley-like theorem to hold of $\psi$. These conditions involve structural and set-theoretic assumptions on…

We demonstrate that an excision property holds for persistent homology groups. This property holds for a large class of filtrations, and in fact we show that given any filtration on a larger space, we can extend it to a filtration of two…

We prove a splitting theorem for a smooth noncompact manifold with (possibly noncompact) boundary. We show that if a noncompact manifold of dimension $n\geq 2$ has $\lambda_1(-\alpha\Delta+\operatorname{Ric})\geq 0$ for some…

Building on recent work of Philip Welch, we prove that (lightface) $\Sigma^0_3$ determinacy is equivalent to the existence of a wellfounded model satisfying the axiom scheme of (boldface) $\mathbf{\Pi}^1_2$ monotone induction.

Starting with two supercompact cardinals we produce a generic extension of the universe in which a principle that we call ${\rm GM}^+(\omega_3,\omega_1)$ holds. This principle implies ${\rm ISP}(\omega_2)$ and ${\rm ISP}(\omega_3)$, and…

We provide requirements on effectively enumerable topological spaces which guarantee that the Rice-Shapiro theorem holds for the computable elements of these spaces. We show that the relaxation of these requirements leads to the classes of…

TO APPEAR IN AEQUATIONES MATHEMATICAE - WITHOUT THEOREM 2. THEOREM 2 IS CORRECTLY PROVED IN PREVIOUS VERSIONS 1 AND 2. AUTHOR'S VERSION 3 (WITH A NEW FIGURE 6A) IS UNNECESSARY. Let F \subseteq R denote the field of numbers which are…

Let F be a fibration on a simply-connected base with symplectic fibre (M, \omega). Assume that the fibre is nilpotent and T^{2k}-separable for some integer k or a nilmanifold. Then our main theorem, Theorem 1.8, gives a necessary and…

The purpose of this study is to extend the concept of a generalized Lie $3-$ algebra, known to the divisional algebra of the octonions $\mathbb{O}$, to split-octonions $\mathbb{SO}$, which is non-divisional. This is achieved through the…

Let $E/F$ be a quadratic extension of number fields and let $\pi$ be an $\mathrm{SL}_n(\mathbb{A}_F)$-distinguished cuspidal automorphic representation of $\mathrm{SL}_n(\mathbb{A}_E)$. Using an unfolding argument, we prove that an element…

The Nielsen Realization problem asks when the group homomorphism from Diff(M) to pi_0 Diff(M) admits a section. For M a closed surface, Kerckhoff proved that a section exists over any finite subgroup, but Morita proved that if the genus is…

Let $(M,\mathcal{N})$ be a marked 3-manifold. We use $S_n(M,\mathcal{N},v)$ to denote the stated $SL_n$-skein module of $(M,\mathcal{N})$ where $v$ is a nonzero complex number. We establish a surjective algebra homomorphism from…

Let $g$ be a finite dimensional simple Lie algebra. Denote by $\mathcal B$ the category of all bounded weight $g$-modules, i.e. those which are direct sum of their weight spaces and have uniformly bounded weight multiplicities. A result of…

Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…

The forcing method is a powerful tool to prove the consistency of set-theoretic assertions relative to the consistency of the axioms of set theory. Laver's theorem and Bukovsk\'y's theorem assert that set-generic extensions of a given…

A propositional proof system $P$ has the strong feasible disjunction property iff there is a constant $c \geq 1$ such that whenever $P$ admits a size $s$ proof of $\bigvee_i \alpha_i$ with no two $\alpha_i$ sharing an atom then one of…

In this article, we propose a new classification of $\Sigma^0_2$ formulas under the realizability interpretation of many-one reducibility (i.e., Levin reducibility). For example, ${\sf Fin}$, the decision of being eventually zero for…

The continuity problem, i.e., the question whether effective maps between effectively given topological spaces are effectively continuous, is reconsidered. In earlier work it was shown that this is always the case, if the effective map also…

An effective theory is proposed, combining the standard gauge group $SU(3)_{C}\otimes SU(2)_{L}\otimes U(1)_{Y}$ with a horizontal discrete symmetry. By assigning appropriate charges under this discrete symmetry to the various fermion…

The space of based loops in $SL_n(\mathbb{C})$, also known as the affine Grassmannian of $SL_n(\mathbb{C})$, admits an $\mathbb{E}_2$ or fusion product. Work of Mitchell and Richter proves that this based loop space stably splits as an…