Related papers: A non-sequential arithmetical theory with pairing

A sequence S is nonrepetitive if no two adjacent blocks of S are the same. In 1906 Thue proved that there exist arbitrarily long nonrepetitive sequences over 3 symbols. We consider the online variant of this result in which a nonrepetitive…

We demonstrate that theories $\text{Z}^-$, $\text{ZF}^-$, $\text{ZFC}^-$ (minus means the absence of the Power Set axiom) and $\text{PA}_2$, $\text{PA}_2^-$ (minus means the absence of the Countable Choice schema) are equiconsistent to each…

In this paper, we prove a conjecture by Aas and Linusson on the two-point correlations of adjacent particles in a continuous multispecies TASEP on a ring (AIHPD, 2018). We use the theory of multiline queues as devised by Ferrari and Martin…

Building on early work by Stevo Todorcevic, we describe a theory of stationary subtrees of trees of successor-cardinal height. We define the diagonal union of subsets of a tree, as well as normal ideals on a tree, and we characterize…

We carefully analyze the N=2 dual pair of string theories in four dimensions introduced by Ferrara, Harvey, Strominger and Vafa. The analysis shows that a second discrete degree of freedom must be switched on in addition to the known…

As many will agree, it feels good to complement a cup of tea by a donut or two. This sweet relationship is also a guiding principle of non-commutative geometry known as Serre Theorem. We explain the algebra behind this theorem and prove…

We prove that the satisfaction relation $\mathcal{N}\models\varphi[\vec a]$ of first-order logic is not absolute between models of set theory having the structure $\mathcal{N}$ and the formulas $\varphi$ all in common. Two models of set…

We consider the foundational relation between arithmetic and set theory. Our goal is to criticize the construction of standard arithmetic models as providing grounds for arithmetic truth (even in a relative sense). Our method is to…

We extend some recent results on the differentiability of torsion theories. In particular, we generalize the concept of $(\alpha, \beta)$-derivation to $(\alpha, \beta)$-higher derivation and demonstrate that a filter of a hereditary…

This is an addendum to arXiv: 0810.5376. We show, using our methods and an auxiliary result of Bestvina-Bromberg-Fujiwara, that a finitely generated group with infinitely many pairwise non-conjugate homomorphisms to a mapping class group…

We investigate field theories on the non-commutative torus upon varying theta, the parameter of non-commutativity. We argue that one should think of Morita equivalence as a symmetry of algebras describing the same space rather than of…

We extend Edmonds' Branching Theorem to locally finite infinite digraphs. As examples of Oxley or Aharoni and Thomassen show, this cannot be done using ordinary arborescences, whose underlying graphs are trees. Instead we introduce the…

We show that for $\Pi_2$-properties of second or third order arithmetic as formalized in appropriate natural signatures the apparently weaker notion of forcibility overlaps with the standard notion of consistency (assuming large cardinal…

We propose a field theoretic realization of the non-unitary $\mathfrak{sl}(2,\mathbb{C})$ Witten-Reshetikhin-Turaev Topological Quantum Field Theory(WRT TQFT). The WRT TQFT at the principal root of unity is unitary. It is known to be…

We explore some general consequences of a consistent formulation of relativistic quantum field theory (QFT) on the Groenewold-Moyal-Weyl noncommutative versions of Minkowski space with covariance under the twisted Poincare' group of…

We present the gravitational coupling function $\omega(\phi)$ in the vacuum scalar-tensor theory as allowed by the Noether symmetry. We also obtain some exact cosmological solutions in the spatially homogeneous and isotropic background…

The Theory of Functional Connections (TFC) is most often used for constraints over the field of real numbers. However, previous works have shown that it actually extends to arbitrary fields. The evidence for these claims is restricting…

We prove that if $ T $ is a semi-special tree that is not special, then there exists a graph $ G $, formed as an inflation of a sparse $ T $-graph, such that for any special tree $ S $, $ G $ is not a subdivision of an inflation of an…

We prove that a fractional perfect matching in a non-bipartite graph can be written, in polynomial time, as a convex combination of perfect matchings. This extends the Birkhoff-von Neumann Theorem from bipartite to non-bipartite graphs. The…

An infinite $(p,q)$-theorem, or an $(\aleph_0,q)$-theorem, involving two families $\mathcal{F}$ and $\mathcal{G}$ of sets, states that if in every infinite subset of $\mathcal{F}$, there are $q$ sets that are intersected by some set in…