Related papers: Induction on Dilators and Bachmann-Howard Fixed Po…

We establish the following Hilbert-space analogue of the Gleason-Kahane-\.Zelazko theorem. If $\mathcal{H}$ is a reproducing kernel Hilbert space with a normalized complete Pick kernel, and if $\Lambda$ is a linear functional on…

Rickard proved that for certain self-injective algebras, a stable equivalence induced from an exact functor is a stable equivalence of Morita type, in the sense of Brou\'{e}. In this paper we study singular equivalences of finite…

Using the theory of distributive series of monads, we construct an $(\infty,0)$-coherator called the \emph{inductive coherator}. The category of models out of the inductive coherator serve as a model for $\infty$-groupoids that possess an…

We define a notion of model for the $\lambda$$\Pi$-calculus modulo theory and prove a soundness theorem. We then define a notion of super-consistency and prove that proof reduction terminates in the $\lambda$$\Pi$-calculus modulo any…

Let F be a locally compact non-archimedean field and G the group of F-rational points of an algebraic group assumed to be defined over F, semisimple, simply connected and of F-rank 1. Let pi be a complex irreducible supercuspidal…

Pickands' constants $H_{\alpha}$ appear in various classical limit results about tail probabilities of suprema of Gaussian processes. It is an often quoted conjecture that perhaps $H_{\alpha} = 1/\Gamma(1/\alpha)$ for all $0 < \alpha \leq…

Walsh [MR4525964, Zbl 1569.03151] has shown that comparing proof-theoretic ordinals is equivalent to comparing $\Pi^1_1$-consequence comparison and $\Pi^1_1$-reflection comparison, all modulo true $\Sigma^1_1$-sentences. In this paper, we…

Let $\Gamma = \Lambda[M]$ be the one-point extension of an algebra $\Lambda$ by a $\Lambda$-module $M$. We establish a method to lift projectively Wakamatsu tilting (PWT) modules from $\mathrm{mod}\,\Lambda$ to $\mathrm{mod}\,\Gamma$ by…

We propose to study proof search from a coinductive point of view. In this paper, we consider intuitionistic logic and a focused system based on Herbelin's LJT for the implicational fragment. We introduce a variant of lambda calculus with…

We give a simple proof of an isomorphism between the two $\mathbb{C}[t]$-modules: the module of relative cohomologies $\Lambda^2/dH\land \Lambda^1$ and the module of Abelian integrals corresponding to a regular at infinity polynomial $H$ in…

Given a commutative ring $R$, a $\pi_1$-$R$-equivalence is a continuous map of spaces inducing an isomorphism on fundamental groups and an $R$-homology equivalence between universal covers. When $R$ is an algebraically closed field, Raptis…

Let $p \neq 2$. For any small enough $r> \max \{p-1,1\}$ and for any $\Lambda > 1$ there exists a Lipschitz function $u$ and a bounded vectorfield $f$ such that \[ \begin{cases} {\rm div}(|\nabla u|^{p-2} \nabla u) = {\rm div} (f) \quad&…

For a finite dimensional algebra $\Lambda$ of finite representation type and an additive generator $M$ for $\mathrm{mod}\,\Lambda$, we investigate the properties of the Yoneda algebra $\Gamma=\bigoplus_{i \geq…

Let T be Goedel's system of primitive recursive functionals of finite type in the lambda formulation. We define by constructive means using recursion on nested multisets a multivalued function I from the set of terms of T into the set of…

We consider discrete Schr{\"o}dinger operators on ${\mathbb{Z}}^d$ for which the perturbation consists of the sum of a long-range type potential and a Wigner-von Neumann type potential. Still working in a framework of weighted Mourre…

For any additive functor from modules (or, more generally, from an abelian category with enough projectives or injectives), we construct long sequences tying up together the derived functors, the satellites, and the stabilizations of the…

A famous result by Milner is that the lambda-calculus can be simulated inside the pi-calculus. This simulation, however, holds only modulo strong bisimilarity on processes, i.e. there is a slight mismatch between beta-reduction and how it…

This paper shows how internal models for polymorphic lambda calculi arise in any 2-category with a notion of discreteness. We generalise to a 2-categorical setting the famous theorem of Peter Freyd saying that there are no sufficiently…

We consider recollements of derived categories of dg-algebras induced by self orthogonal compact objects obtaining a generalization of Rickard's Theorem. Specializing to the case of partial tilting modules over a ring, we extend the results…

We argue that all building blocks of transformer models can be expressed with a single concept: combinatorial Hopf algebra. Transformer learning emerges as a result of the subtle interplay between the algebraic and coalgebraic operations of…