Project

Analytic combinatorics of the transfinite: A Tauberian approach

Code
01J11615
Duration
01 September 2015 → 31 August 2021
Funding
Regional and community funding: Special Research Fund
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.