Related papers: On Representational Redundancy, Surplus Structure,…
A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be expanded into a set of resource proof-structures: its Taylor expansion. We introduce a new criterion characterizing (and deciding in the finite case) those sets of…
The cumulative hierarchy conception of set, which is based on the conception that sets are inductively generated from "former" sets, is generally considered a good way to create a set conception that seems safe from contradictions. This…
We construct a geometric structure on deformed supermanifolds as a certain subalgebra of the vector fields. In the classical limit we obtain a decoupling of the infinitesimal odd and even transformations, whereas in the semiclassical limit…
Physical superpositions exist both in classical and in quantum physics. However, what is exactly meant by 'superposition' in each case is extremely different. In this paper we discuss some of the multiple interpretations which exist in the…
We formulate a definition of the existence property that works with "structural" set theories, in the mode of ETCS (the elementary theory of the category of sets). We show that a range of structural set theories, when formulated using…
G\"odel's argument for the First Incompleteness Theorem is, structurally, a proof by contradiction. This article intends to reframe the argument by, first, isolating an additional assumption the argument relies on, and then, second, arguing…
We explore the interlacing between model category structures attained to classes of modules of finite $\mathcal{X}$-dimension, for certain classes of modules $\mathcal{X}$. As an application we give a model structure approach to the…
In this paper we study the problem of constructing non-trivial subtowers and supertowers of recursive towers of function fields over finite fields.
We prove that if two additive functions (from a certain class) take large values with roughly the same probability then they must be identical. This is a consequence of a structure theorem making clear the inter-relation between the…
We revamp the constructive enumeration of 1/16-BPS states in the maximally supersymmetric Yang-Mills in four dimensions, and search for ones that are not of multi-graviton form. A handful of such states are found for gauge group SU(2) at…
In this paper we consider the classification problem of extensions of Yang-Mills-type (YMT) theories. For us, a YMT theory differs from the classical Yang-Mills theories by allowing an arbitrary pairing on the curvature. The space of YMT…
In this paper we explore some properties of H-structures. We describe a construction of H-structures based on one-dimensional asymptotic classes which preserves pseudo-finiteness. That is, the H-structures we construct are ultraproducts of…
The uniqueness theorems for general relativity and Yang-Mills theories can be circumvented by dropping the ubiquitous, yet often implicit, assumption that physical fields, such as the spacetime metric, are fundamental. The novel concept of…
We introduce a notion of a filtered model structure and use this notion to produce various model structures on pro-categories. This framework generalizes several known examples. We give several examples, including a homotopy theory for…
This article precisely defines huge proofs within the system of Natural Deduction for the Minimal implicational propositional logic \mil. This is what we call an unlimited family of super-polynomial proofs. We consider huge families of…
Recently, it has been argued that black hole complementarity is inconsistent by showing that, for an infalling observer, it would lead to the existence of a firewall near the black hole horizon, thereby violating the equivalence principle.…
The Causal Set hypothesis asserts that spacetime, ultimately, is discrete and its underlying structure is that of a locally finite partial ordered set, and macroscopic causality reflects a deeper notion of order in terms of which all the…
In order to have a new perspective on the long-standing problem of the mass gap in Yang-Mills theory, we study the quantum Yang-Mills theory in the presence of topologically nontrivial backgrounds in this paper. The topologically stable…
The literature in persistent homology often refers to a "structure theorem for finitely generated graded modules over a graded principal ideal domain". We clarify the nature of this structure theorem in this context.
In this paper we examine the natural interpretation of a ramified type hierarchy into Martin-L\"of type theory with an infinite sequence of universes. It is shown that under this predicative interpretation some useful special cases of…