Related papers: NP-completeness of Partial Chirotope Extendibility
We introduce a tool for analysing models of $\textnormal{CT}^-$, the compositional truth theory over Peano Arithmetic. We present a new proof of Lachlan's theorem that arithmetical part of models of $\textnormal{PA}$ are recursively…
We introduce the notion of a $c$-category, which is a kind of category whose behaviour is controlled by connective ring spectra. More precisely, any $c$-category admits a finite step resolution by categories of compact modules over…
It is generally taken for granted that two-dimensional critical phenomena can be fully classified by the well known two-dimensional (rational) conformal quantum field theories (CQFTs). In particular it is believed that in models with a…
To what extent are all astrophysical, dark, compact objects both black holes (BHs) and described by the Kerr geometry? We embark on the exercise of defying the universality of this remarkable idea, often called the "Kerr hypothesis". After…
Let $k$ be a perfect field of characteristic $p > 0$, $W_n = W_n(k)$. For separated $k$-schemes of finite type, we explain how rigid cohomology with compact supports can be computed as the cohomology of certain de Rham-Witt complexes with…
This is a major update of the previous version. The methods of the paper are now fully constructive and the style is "formalization ready" with the emphasis on the possibility of formalization both in type theory and in constructive set…
An argument is presented for a certain universality of finite size corrections in two dimensional gauge theories. In the abelian case a direct calculation is carried out for a particular chiral model. The analytical result confirms the…
New definitions of rack and quandle modules are introduced, and shown to generalise the definitions previously studied by Andruskiewitsch, Etingof and Grana. This new construct is shown to coincide with Beck's general definition of a module…
G\"odel proved in the 1930s in his famous Incompleteness Theorems that not all statements in mathematics can be proven or disproven from the accepted ZFC axioms. A few years later he showed the celebrated result that Cantor's Continuum…
In [1], Theorem 3, the authors proved, in one dimension, a generalization of the Hopf Lemma, and the question arose if it could be extended to higher dimensions. In this paper we present two conjectures as possible extensions, and give a…
We give sufficient conditions for a diffeomorphism of a compact surface to be robustly $N$-expansive and cw-expansive in the $C^r$-topology. We give examples on the genus two surface showing that they need not to be Anosov diffeomorphisms.…
We generalize Chirka's theorem on the extension of functions holomorphic in a neighbourhood of graph(F)\cup(\partial D\times D) -- where D is the open unit disc and graph(F) denotes the graph of a continuous D-valued function F -- to the…
A cluster expansion is proposed, that applies to both continuous and discrete systems. The assumption for its convergence involves an extension of the neat Kotecky-Preiss criterion. Expressions and estimates for correlation functions are…
We find some sufficient conditions for a system of partial derivatives of an entire function to be complete in the space $H(\mathbb{C}^d)$ of all entire functions of $d$ variables. As an appliation of this result we describe new classes of…
Motivated by a connection with the factorization of multivariate polynomials, we study integral convex polytopes and their integral decompositions in the sense of the Minkowski sum. We first show that deciding decomposability of integral…
In analogy to a result due to Drake and Thron about topological spaces, this paper studies the dcpos (directed complete posets) which are fully determined, among all dcpos, by their lattices of all Scott-closed subsets (such dcpos will be…
As one of the most fundamental and well-known NP-complete problems, the Hamilton cycle problem has been the subject of intensive research. Recent developments in the area have highlighted the crucial role played by the notions of expansion…
Shellings of simplicial complexes have long been a useful tool in topological and algebraic combinatorics. Shellings of a complex expose a large amount of information in a helpful way, but are not easy to construct, often requiring deep…
Let $k$ be a field of characteristic zero. By using Hironaka's desingularisation theorem, we prove an extension criterion for a functor defined on nonsingular k-schemes and taking values on a category of complexes. Roughly speaking, the…
We give a new proof of the decidability of reachability in alternating pushdown systems, showing that it is a simple consequence of a cut-elimination theorem for some natural-deduction style inference systems. Then, we show how this result…