Related papers: Proof-theoretic dilator and intermediate pointclas…

We use forcing over admissible sets to show that, for every ordinal $\alpha$ in a club $C\subset\omega_1$, there are copies of $\alpha$ such that the isomorphism between them is not computable in the join of the complete $\Pi^1_1$ set…

We describe a rearrangement of the standard expansion of the symmetry breaking part of the QCD effective Lagrangian that includes into each order additional terms which in the standard chiral perturbation theory ($\chi$PT) are relegated to…

We present an abstract functional analytic formulation of the celebrated $\dive$-$\curl$ lemma found by F.~Murat and L.~Tartar. The viewpoint in this note relies on sequences for operators in Hilbert spaces. Hence, we draw the functional…

We argue that operads provide a general framework for dealing with polynomials and combinatory completeness of combinatory algebras, including the classical $\mathbf{SK}$-algebras, linear $\mathbf{BCI}$-algebras, planar…

This note records some dilation theorems about contraction semigroups on a Hilbert space - all of which fall into the categories "known" or "probably known" - that I proved while working on my PhD in mathematics (under the supervision of…

A Clifford algebra over the binary field 2 = {0,1} is a second-order classical logic that is substantially richer than Boolean algebra. We use it as a bridge to a Clifford algebraic quantum logic that is richer than the usual Hilbert space…

The purpose of this dissertation is to set up a theory of generalized operads and multicategories, and to use it as a language in which to propose a definition of weak n-category. Included is a full explanation of why the proposed…

We extend the theory of distributional kernel operators to a framework of generalized functions, in which they are replaced by integral kernel operators. Moreover, in contrast to the distributional case, we show that these generalized…

We develop the theory of Wigner representations for general probabilistic theories (GPTs), a large class of operational theories that include both classical and quantum theory. The Wigner representations that we introduce are a natural way…

Process theories provide a powerful framework for describing compositional structures across diverse fields, from quantum mechanics to computational linguistics. Traditionally, they have been formalized using symmetric monoidal categories…

For every partial combinatory algebra (pca), we define a hierarchy of extensionality relations using ordinals. We investigate the closure ordinals of pca's, i.e. the smallest ordinals where these relations become equal. We show that the…

The purposes of this note are the following two; we first generalize Okada-Takeuti's well quasi ordinal diagram theory, utilizing the recent result of Dershowitz-Tzameret's version of tree embedding theorem with gap conditions. Second, we…

A spectral theory of linear operators on a rigged Hilbert space is applied to Schr\"odinger operators with exponentially decaying potentials and dilation analytic potentials. The theory of rigged Hilbert spaces provides a unified approach…

A cyclic proof system generalises the standard notion of a proof as a finite tree of locally sound inferences by allowing proof objects to be potentially infinite. Regular infinite proofs can be finitely represented as graphs. To preclude…

We study the existence of formal Taylor expansions for functions defined on fields of generalised series. We prove a general result for the existence and convergence of those expansions for fields equipped with a derivation and an…

We firstly show that the standard interpretation of natural quantification in mathematical logic does not provide a satisfying account of its original richness. In particular, it ignores the difference between generic and distributive…

We study a phase transition in a 3D lattice gauge theory, a "coarse-grained" version of a classical dimer model. Duality arguments indicate that the dimer lattice theory should be dual to a XY model coupled to a gauge field with geometric…

We develop pivotal and spherical versions of graded extension theory. We define the corresponding analogues of Brauer-Picard $2$-categorical groups and realize them as fixed points of natural $\mathbb{Z}$ and $\mathbb{Z}/2\mathbb{Z}$…

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic…

The Euclidean algorithm makes possible a simple but powerful generalization of Taylor's theorem. Instead of expanding a function in a series around a single point, one spreads out the spectrum to include any number of points with given…