Related papers: Equiconsistency of the Minimalist Foundation with …
The first-order theory of MALL (multiplicative, additive linear logic) over only equalities is an interesting but weak logic since it cannot capture unbounded (infinite) behavior. Instead of accounting for unbounded behavior via the…
Kristiansen and Murwanashyaka recently proved that Robinson arithmetic Q is interpretable in an elementary theory of full binary trees, T. We prove that, conversely, T is interpretable in Q by producing a formal interpretation of T in an…
We study the Morita equivalence for field theories on noncommutative two-tori. For rational values of the noncommutativity parameter $\theta $ (in appropriate units) we show the equivalence between an abelian noncommutative field theory and…
We introduce (1) a novel parser for Minimalist Grammars (MG), encoded as a system of first-order logic formulae that may be evaluated using an SMT-solver, and (2) a novel procedure for inferring Minimalist Grammars using this parser. The…
A wide range of intuitionistic type theories may be presented as equational theories within a logical framework. This method was formulated by Per Martin-L\"{o}f in the mid-1980's and further developed by Uemura, who used it to prove an…
We present the explicit construction of the effective field theory (EFT) of standard model mass eigenstates. The EFT, which is invariant under $U(1)_{\text{e.m.}}\times SU(3)_c$, is constructed based on the on-shell method and Young Tableau…
Non-negative matrix factorization (NMF) is a fundamental non-convex optimization problem with numerous applications in Machine Learning (music analysis, document clustering, speech-source separation etc). Despite having received extensive…
We show that the (typical) quantitative considerations about proper (as too big) and small classes are just tangential facts regarding the consistency of Zermelo-Fraenkel Set Theory with Choice. Effectively, we will construct a first-order…
This paper improves the treatment of equality in guarded dependent type theory (GDTT), by combining it with cubical type theory (CTT). GDTT is an extensional type theory with guarded recursive types, which are useful for building models of…
The effective field theory (EFT) construction when the objects of interest are the In-In (or real time) correlators rather than the In-Out S-matrix elements is constructed. This is done using the formal equivalence between the In-In and…
Effective field theory (EFT) approaches are widely used at the LHC, such that it is important to study their validity, and ease of matching to specific new physics models. In this paper, we consider an extension of the SM in which a top…
To every $\omega$-categorical structure $M$ one can associate two spaces of symmetries which determine the structure up to first-order bi-interpretability: the topological group $\mathrm{Aut}(M)$ of its automorphisms and the topological…
We show optimal FPT-approximability results for solving almost satisfiable systems of modular linear equations, completing the picture of the parameterized complexity and FPT-approximability landscape for the Min-$r$-Lin$(\mathbb{Z}_m)$…
On the ground of a general theorem concerning the admissibility of the structural rules in sequent calculi with additional atomic rules, we develop a proof theoretic analysis for several extensions of the ${\bf G3[mic]}$ sequent calculi…
In a geometrical approach to gravity the metric and the (gravitational) connection can be independent and one deals with metric-affine theories. We construct the most general action of metric-affine effective field theories, including a…
Double Field Theory (DFT) and Exceptional Field Theory (EFT), collectively called ExFTs, have proven to be a remarkably powerful new framework for string and M-theory. Exceptional field theories were constructed on a case by case basis as…
Category theory unifies mathematical concepts, aiding comparisons across structures by incorporating objects and morphisms, which capture their interactions. It has influenced areas of computer science such as automata theory, functional…
Six-dimensional superconformal field theories (SCFTs) have an atomic classification in terms of elementary building blocks, conformal systems that generalize matter and can be fused together to form all known 6d SCFTs in terms of…
We consider categories of equivariant mixed Tate motives, where equivariant is understood in the sense of Borel. We give the two usual definitions of equivariant motives, via the simplicial Borel construction and via algebraic…
In verified generic programming, one cannot exploit the structure of concrete data types but has to rely on well chosen sets of specifications or abstract data types (ADTs). Functors and monads are at the core of many applications of…