Related papers: The Mostowski Bridge

Let $G$ be a connected semisimple algebraic group over an algebraically closed field $k$. In 1965 Steinberg proved that if $G$ is simply connected, then in $G$ there exists a closed irreducible cross-section of the set of closures of…

The classical problem of algebraic models for homotopy types is precisely stated, to our knowledge for the first time. Two different natural statements for this problem are produced, the simplest one being entirely solved by the notion of…

The goal of this paper is twofold. In addition to the results stated in the next paragraph, we present some classical results on absoluteness relevant to functional analysis that are well known to logicians but not nearly as well advertised…

Each finite $p$-perfect group $G$ ($p$ a prime) has a universal central $p$-extension. For a perfect group these central extensions come from its {\sl Schur multiplier}. Serre gave a Stiefel-Whitney class approach to analyzing spin covers…

We formulate a general, signature-independent form of the law of the excluded middle and prove that a logic is semisimple if and only if it enjoys this law, provided that it satisfies a weak form of the so-called inconsistency lemma of…

In this paper, we prove that $\mathsf{ZFC+WA}_{n+1}$ implies the consistency of $\mathsf{ZFC+WA}_n$ for $n\ge 0$. We also prove that $\mathsf{ZFC+WA}_n$ is finitely axiomatizable, and $\mathsf{ZFC+WA}$ is not finitely axiomatizable.

We study the statistical inference problem for a complex $\alpha$-fractional Brownian bridge process $Z$ defined by the stochastic differential equation \[ \mathrm{d}Z_t = -\alpha \frac{Z_t}{T - t} \mathrm{d}t + \mathrm{d}\zeta_t, \quad t…

We study the topological band theory of time reversal invariant topological insulators and interpret the topological $\mathbb{Z}_2$ invariant as an obstruction in terms of Stiefel--Whitney classes. The band structure of a topological…

The Moore-Tachikawa conjecture is that each connected complex semisimple group $G$ determines a two-dimensional TQFT in a category of Hamiltonian symplectic varieties. While it would be worthwhile to prove this conjecture outright, our…

We study the model theoretic strength of various lattices that occur naturally in topology, like closed (semi-linear or semi-algebraic or convex) sets. The method is based on weak monadic second order logic and sharpens previous results by…

This paper studies smooth obstructions to integrability and proves two main results. First, it is shown that if a smooth topological n-torus admits a real-analytically completely integrable convex hamiltonian on its cotangent bundle, then…

Motivated by a question of Stover, we discuss an example of a Zariski-dense finitely generated subgroup of $\mathrm{SL}_5(\mathbb{Z})$ that is not finitely presented.

We give a complete proof the Novikov isomorphism $\varOmega^{SU}\otimes \mathbb Z[\textstyle\frac12]\cong\mathbb Z[{\textstyle\frac12}][y_2,y_3,\ldots],\quad\mathrm{deg} y_i=2i$, where $\varOmega^{SU}$ is the $SU$-bordism ring. The proof…

It was realized early on that topologies can model constructive systems, as the open sets form a Heyting algebra. After the development of forcing, in the form of Boolean-valued models, it became clear that, just as over ZF any…

We give, for some Borel sets of a product of two Polish spaces, including the Borel sets with countable sections, a Hurewicz-like characterization of those which cannot become a transfinite difference of open sets by changing the two Polish…

A new class of noncommutative $k$-algebras (for $k$ an algebraically closed field) is defined and shown to contain some important examples of quantum groups. To each such algebra, a first order theory is assigned describing models of a…

In 2015, Brosnan and Chow, and independently Guay-Paquet, proved the Shareshian-Wachs conjecture, which links the Stanley-Stembridge conjecture in combinatorics to the geometry of Hessenberg varieties through Tymoczko's permutation group…

By a well-known result of Kotlarski, Krajewski, and Lachlan (1981), first-order Peano arithmetic $PA$ can be conservatively extended to the theory $CT^{-}[PA]$ of a truth predicate satisfying compositional axioms, i.e., axioms stating that…

In this work, we present two alternative yet equivalent representation formulae for Whitney forms that are valid for any choice of coordinates, and generalizes the original characterization of Whitney forms in Whitney (1957) that requires…

It was first suggested by David Z. Albert that the existence of a real, physical non-unitary process (i.e., "collapse") at the quantum level would yield a complete explanation for the Second Law of Thermodynamics (i.e., the increase in…