Related papers: Pure $\Sigma_2$-Elementarity beyond the Core
In this article we extend the theory of the binary codes (the strict code $\mathcal{K}$ and the extended code $\mathcal{K}'$), associated to a projective nodal surface, to a coding theory for normal surfaces, with special consideration of…
We study dualities between classes of relational topological structures, given by Hom-functors. We show that there exists a 2-element structure with infinitely many relations, which reconstructs all other structures generated by a 2-element…
We study $\Sigma^1_2$ definable counterparts for some algebraic equivalent forms of the Continuum Hypothesis. All turn out to be equivalent to "all reals are constructible".
We classify singular Enriques surfaces in characteristic two supporting a rank nine configuration of smooth rational curves. They come in one-dimensional families defined over the prime field, paralleling the situation in other…
We calculate the structure of the finitely-generated groups H_2(SL_2(Z[1/m])) when m is a multiple of 6. We construct explicit homology classes which generate these groups and have prescribed orders. When n is at least 2 and m is the…
This talk is a sneak preview of the project, 'proof theory for theories of ordinals'. Background, aims, survey and furture works on the project are given. Subsystems of second order arithmetic are embedded in recursively large ordinals and…
We study a new class of codes over Z_2 x Z_2 which we call L-codes. They arise as a natural fifth step in a series of analogies between Kleinian codes, binary codes, lattices and vertex operator algebras. This analogy will be explained in…
We introduce and systematically develop two classes of discrete integrable operators: those with $2\times 2$ matrix kernels and those possessing general differential kernels, thereby generalizing the discrete analogue previously studied. A…
We define a construction on operads which yields a new description of the minimal model. The construction also allows us to define algebraic structures on the homology of chain complexes with homologously trivial operad algebra structures,…
We study a special type of $E_\infty$-operads that govern strictly unital $E_\infty$-coalgebras (and algebras) over the ring of integers. Morphisms of coalgebras over such an operad are defined by using universal $E_\infty$-bimodules. Thus…
Let Y be a real Enriques surface, _2Br(Y) the subgroup of elements of order 2 of Br(Y), and s, s_{or}, and s_{nor} the number of all connected, connected orientable, and connected non-orientable components of Y(R) respectively. Using…
We construct here an iterative evaluation of all PR map codes: progress of this iteration is measured by descending complexity within "Ordinal" O := N[\omega] of polynomials in one indeterminate, ordered lexicographically. Non-infinit…
On a Riemann surface of genus $> 1$, we discuss how to construct opers with apparent singularities from $SL_2(\mathbb{C})$ $\lambda$-connections $(E, \nabla_\lambda)$ and sub-line bundles $L$ of $E$. This construction defines a rational map…
We formalise, in Coq, the opening sections of Parity Complexes [Street1991] up to and including the all important excision of extremals algorithm. Parity complexes describe the essential combinatorial structure exhibited by simplexes, cubes…
It is well known that whenever a class of structures $\mathcal{K}_1$ is interpretable in a class of structures $\mathcal{K}_2$, then the hereditary undecidability of (a fragment of) the theory of $\mathcal{K}_1$ implies the hereditary…
We analyze the degree-structure induced by large reducibilities under the Axiom of Determinacy. This generalizes the analysis of Borel reducibilities given in references [1], [6] and [5] e.g. to the projective levels.
In the course of many mathematical developments involving 'number systems' like $\mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{R}, \mathbb {C}$ etc., it sometimes becomes necessary to abstract away and study certain properties of the number…
We prove that if an $\omega$-categorical structure has an $\omega$-categorical homogeneous Ramsey expansion, then so does its model-complete core.
This paper continues the study of highest weight categorical sl_2-actions started in part I. We start by refining the definition given there and showing that all examples considered in part I are also highest weight categorifications in the…
Let $\bar{Y}$ be a normal surface that is the canonical $\mu_2$- or $\alpha_2$-covering of a classical or supersingular Enriques surface in characteristic $2$. We determine all possible configurations of singularities on $\bar{Y}$, and for…