Related papers: Pure $\Sigma_2$-Elementarity beyond the Core

Motivated by algebraic structures appearing in Rational Conformal Field Theory we study a construction associating to an algebra in a monoidal category a commutative algebra ({\em full centre}) in the monoidal centre of the monoidal…

We substantially refine the theory of singular principal bundles introduced in a former paper. In particular, we show that we need only honest singular principal bundles in our compactification. These are objects which carry the structure…

We give a complete classification of the ideals of the core of the C*-algebras associated with self-similar maps under a certain condition. Any ideal is completely determined by the intersection with the coefficient algebra C(K) of the…

We say that a finite almost simple $G$ with socle $S$ is admissible (with respect to the spectrum) if $G$ and $S$ have the same sets of orders of elements. Let $L$ be a finite simple linear or unitary group of dimension at least three over…

We derive conjectures for the N=2 "chiral" determinant formulae of the Topological algebra, the Antiperiodic NS algebra, and the Periodic R algebra, corresponding to incomplete Verma modules built on chiral topological primaries, chiral and…

This paper is devoted to a study of geometric structures expressible in terms of graded symplectic supermanifolds. We extend the classical BRST formalism to arbitrary pseudo-Euclidean vector bundles (E\to M_{0}) by canonically associating…

A 2-categorical generalisation of elementary topos is provided and some of the properties of the yoneda structure it generates are explored. Examples relevant to the globular approach to higher category theory are discussed. This paper also…

This is the 8th article in the collection of reviews "Exact results in N=2 supersymmetric gauge theories", ed. J. Teschner. The article reviews the superconformal index. It is often simpler to calculate than instanton partition functions,…

In this paper, we will study some connections between Hilbert al- gebras and binary block-codes.With these codes, we can eassy obtain orders which determine suplimentary properties on these algebras. We will try to emphasize how, using…

We determine the existential completion of a primary doctrine, and we prove that the 2-monad obtained from it is lax-idempotent, and that the 2-category of existential doctrines is isomorphic to the 2-category of algebras for this 2-monad.…

We show that if there exists a countable Borel equivalence relation which is hyper-hyperfinite but not hyperfinite then the complexity of hyperfinite countable Borel equivalence relations is as high as possible, namely,…

The systems of complex analytic second order ordinary differential equations whose solutions close up to become rational curves (after analytic continuation) are characterized by the vanishing of an explicit differential invariant, and turn…

This article proves the existence and uniqueness of a subfactor planar algebra with principal graph consisting of a diamond with arms of length 2 at opposite sides, which we call 2D2. We also prove the uniqueness of the subfactor planar…

We investigate quantifier alternation hierarchies in first-order logic on finite words. Levels in these hierarchies are defined by counting the number of quantifier alternations in formulas. We prove that one can decide membership of a…

We show that the universal abelian cover of the complement to a germ of a reducible divisor on a complex space $Y$ with isolated singularity is $(dimY-2)$-connected provided that the divisor has normal crossings outside of the singularity…

We prove that the relation of bisimilarity between countable labelled transition systems is $\Sigma_1^1$-complete (hence not Borel), by reducing the set of non-wellorders over the natural numbers continuously to it. This has an impact on…

We survey some basic mathematical structures, which arguably are more primitive than the structures taught at school. These structures are orders, with or without composition, and (symmetric) monoidal categories. We list several `real life'…

The $\mathbb{Z}_{2^s}$-additive codes are subgroups of $\mathbb{Z}^n_{2^s}$, and can be seen as a generalization of linear codes over $\mathbb{Z}_2$ and $\mathbb{Z}_4$. A $\mathbb{Z}_{2^s}$-linear Hadamard code is a binary Hadamard code…

We show that there are four chiral ${\cal W}$-algebra extensions of $\mathfrak{so}(2,3)$ algebra and construct them explicitly. We do this by a simple identification of each of the inequivalent embeddings of a copy of…

We give a necessary and sufficient condition for extremality of a supermodular function based on its min-representation by means of (vertices of) the corresponding core polytope. The condition leads to solving a certain simple linear…