Project

Analytic combinatorics of the transfinite: A Tauberian approach

Duration
01 September 2015 → 31 August 2021
Funding
Regional and community funding: Special Research Fund
Research disciplines
  • Natural sciences
    • Algebra
    • Analysis
    • History 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.