Project: Analytic combinatorics of the transfinite: A Tauberian approach
2015-09-01 – 2021-08-31
- Abstract
This project deals with analytical methods for attacking a number of combinatorial problems arising from logic. The goal is to develop systematic tools for deriving asymptotic formulas for counting functions of proof-theoretic ordinals with the aid of Tauberian theorems for the Laplace transform. We intend to apply such formulas to extend the current knowledge on phase transitions for Gödel incompleteness results.
Show
Sort by
-
- Journal Article
- A1
- open access
Infinite order psi DOs : composition with entire functions, new Shubin-Sobolev spaces, and index theorem
-
- Journal Article
- A1
- open access
The Fourier transform of thick distributions
-
- Journal Article
- A1
- open access
Topological properties of convolutor spaces via the short-time Fourier transform
-
- Journal Article
- A1
- open access
Factorization in Denjoy-Carleman classes associated to representations of (R^d,+)
-
- Journal Article
- A1
- open access
The nuclearity of Gelfand-Shilov spaces and kernel theorems
-
- Journal Article
- A1
- open access
Asymptotic boundedness and moment asymptotic expansion in ultradistribution spaces
-
- Journal Article
- A1
- open access
Characterization of nuclearity for Beurling–Björck spaces
-
- Journal Article
- A1
- open access
Multiresolution expansions and wavelets in Gelfand-Shilov spaces
-
- Journal Article
- A1
- open access
On the space of ultradistributions vanishing at infinity
-
On weighted inductive limits of spaces of ultradifferentiable functions and their duals