Code
01J11615
Duration
01 September 2015 → 31 August 2021
Funding
Regional and community funding: Special Research Fund
Promotor
Research disciplines
-
Natural sciences
- Approximations and expansions
- Functional analysis
- Mathematical logic and foundations
Keywords
Tauberian theorems
asymptotic analysis
Laplace transform
phase transitions for Gödel incompletness results
Analytic combinatorics
Project description
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.