Related papers: Pure $\Sigma_2$-Elementarity beyond the Core
We reconsider non-degenerate second order superintegrable systems in dimension two as geometric structures on conformal surfaces. This extends a formalism developed by the authors, initially introduced for (pseudo-)Riemannian manifolds of…
Given a structure $\mathcal{M}$ with a definable topology, its open core is a structure defined on the same universe whose language consists of all open sets of all arities definable in $\mathcal{M}$. In response to questions raised by…
We introduce a framework for ordinal notation systems, present a family of strong yet simple systems, and give many examples of ordinals in these systems. While much of the material is conjectural, we include systems with conjectured…
For a weak 2-group, we construct a bicategory of flat 2-group bundles over differentiable stacks as a localization of a functor bicategory. This description is amenable to explicit geometric constructions. For example, we show that flat…
We find a canonical $N{=}2$ superconformal algebra (SCA) in the BRST complex associated to any affine Lie algebra $\hat{\mathbf{h}}$ with $\mathbf{h}$ semisimple. In contrast with the similar known results for the Virasoro, $N{=}1$…
This paper answers several open questions around structures with o-minimal open core. We construct an expansion of an o-minimal structure $\mathcal{R}$ by a unary predicate such that its open core is a proper o-minimal expansion of…
We investigate the position that foundational theories should be modelled on ordinary computability. In this context, we investigate the metamathematics of $\Sigma$ formulas. We consider theories whose axioms are implications between…
The planar scattering amplitudes of $\mathcal{N} = 4$ super-Yang--Mills theory display symmetries and structures which underlie their relatively simple analytic properties such as having only logarithmic singularities and no poles at…
Ordinal analysis induces a partition of $\Sigma^1_1$-definable and $\Pi^1_1$-sound theories whereby two theories are equivalent if they have the same proof-theoretic ordinal. We show that no equivalence relation $\equiv$ is finer than the…
We study varieties of certain ordered $\Sigma$-algebras with restricted completeness and continuity properties. We give a general characterization of their free algebras in terms of submonads of the monad of $\Sigma$-coterms. Varieties of…
Holomorphic principal G-bundles over a complex manifold M can be studied using non-abelian cohomology groups H^1(M,G). On the other hand, if M=\Sigma is a closed Riemann surface, there is a correspondence between holomorphic principal…
We show that the nerve of a strict omega-category can be described algebraically as a simplicial set with additional operations subject to certain identities. The resulting structures are called sets with complicial identities. We also…
Call a periodic map $h$ on the closed orientable surface $\Sigma_g$ extendable if $h$ extends to a periodic map over the pair $(S^3, \Sigma_g)$ for possible embeddings $e: \Sigma_g\to S^3$. We determine the extendabilities for all…
We attack the question of E_2-formality of differential graded algebras over prime fields via obstruction theory. We are able to prove that E_2-algebras whose cohomology ring is a polynomial algebra on even degree classes are intrinsically…
We describe arithmetic computations in terms of operations on some well known free algebras (S1S, S2S and ordered rooted binary trees) while emphasizing the common structure present in all them when seen as isomorphic with the set of…
With the $\Omega$-operators for the Virasoro algebra \cite{BF} and the super Virasoro algebra in \cite{CL, CLL}, we get the $\Omega$-operators for the Ovsienko-Roger superalgebras in this paper and then use it to classify all simple…
A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to…
We study natural additional structures on real algebraic surfaces with trivial first homology mod 2 of the complexification. If the set of real points realizes the zero of the second homology mod 2 of the complexification, then the set of…
We introduce a suitable adapted ordering for the twisted N=2 superconformal algebra (i.e. with mixed boundary conditions for the fermionic fields). We show that the ordering kernels for complete Verma modules have two elements and the…
The $\Z_{2^s}$-additive codes are subgroups of $\Z^n_{2^s}$, and can be seen as a generalization of linear codes over $\Z_2$ and $\Z_4$. A $\Z_{2^s}$-linear code is a binary code which is the Gray map image of a $\Z_{2^s}$-additive code. We…