Related papers: Turing-Taylor expansions for arithmetic theories
We present the formalization of Doob's martingale convergence theorems in the mathlib library for the Lean theorem prover. These theorems give conditions under which (sub)martingales converge, almost everywhere or in $L^1$. In order to…
We provide extension procedures for nonlinear expectations to the space of all bounded measurable functions. We first discuss a maximal extension for convex expectations which have a representation in terms of finitely additive measures.…
We introduce a model of infinitary computation which enhances the infinite time Turing machine model slightly but in a natural way by giving the machines the capability of detecting cardinal stages of computation. The computational strength…
The aim of this work is to characterize three fundamental normalization proprieties in lambda-calculus trough the Taylor expansion of $ \lambda$-terms. The general proof strategy consists in stating the dependence of ordinary reduction…
In this lecture notes we try to familiarize the audience with the theory of Bernoulli polynomials; we study their properties, and we give, with proofs and references, some of the most relevant results related to them. Several applications…
Analogously to the space of virtual permutations, we define projective limits of isometries: these sequences of unitary operators are natural in the sense that they minimize the rank norm between successive matrices of increasing sizes. The…
The possibility for the Jacobi equation to admit in some cases general solutions that are polynomials has been recently highlighted by Calogero and Yi, who termed them para-Jacobi polynomials. Such polynomials are used here to build seed…
We present a new methodology, suitable for implementation on computer, to perform the $\epsilon$-expansion of hypergeometric functions with linear $\epsilon$ dependent Pochhammer parameters in any number of variables. Our approach allows…
The paper deals with moduli of continuity for paths of random processes indexed by a general metric space $\Theta$ with values in a general metric space $\mathcal{X}$. Adapting the moment condition on the increments from the classical…
In this paper we present an abstraction-refinement approach to Satisfiability Modulo the theory of transcendental functions, such as exponentiation and trigonometric functions. The transcendental functions are represented as uninterpreted…
We study non-trivial translation-invariant probability measures on the space of entire functions of one complex variable. The existence (and even an abundance) of such measures was proven by Benjamin Weiss. Answering Weiss question, we find…
We establish a second main theorem for algebraic tori with slow growth moving targets with truncation to level 1. As the first application of this result, we prove the Green-Griffith-Lang conjecture for projective spaces with $n+1$…
The usual product $m\cdot n$ on $\mathbb{Z}$ can be viewed as the sum of $n$ terms of an arithmetic progression whose first term is $a_{1}=m-n+1$ and whose difference is $d=2$. Generalizing this idea, we define new similar product mappings,…
We demonstrate and develop dyadic-probabilistic methods in connection with non-homogeneous bilinear operators, namely singular integrals and square functions. We develop the full non-homogeneous theory of bilinear singular integrals using a…
We consider an old question of Slaman and Steel: whether Turing equivalence is an increasing union of Borel equivalence relations none of which contain a uniformly computable infinite sequence. We show this question is deeply connected to…
Otto's Theorem characterises the bisimulation-invariant PTIME queries over graphs as exactly those that can be formulated in the polyadic mu-calculus, hinging on the Immerman-Vardi Theorem which characterises PTIME (over ordered structures)…
In this article, we collected more than thirty theorems on expansions of iterated Ito and Stratonovich stochastic integrals, which have been formulated and proved by the author in the period from 1997 to 2025. These theorems open up a new…
We discuss certain aspects of the formal calculus used to describe vertex algebras. In the standard literature on formal calculus, the expression $(x+y)^{n}$, where $n$ is not necessarily a nonnegative integer, is defined as the formal…
The present article introduces ptarithmetic (short for "polynomial time arithmetic") -- a formal number theory similar to the well known Peano arithmetic, but based on the recently born computability logic (see…
A detailed analysis of the remainder obtained by truncating the Euler series up to the $n$th-order term is presented. In particular, by using an approach recently proposed by Weniger, asymptotic expansions of the remainder, both in inverse…