Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Project

Reflection Spectra: Predicative Mathematics and Beyond

Outputs & Impact

Publications & research data ( 14 )

Gödel–Dummett linear temporal logic

Juan Pablo AguileraMartín DiéguezDavid Fernández-DuqueBrett McLean

A1 Journal Article in ARTIFICIAL INTELLIGENCE

Fast Goodstein walks

David Fernández-DuqueAndreas Weiermann

A1 Journal Article in BULLETIN OF THE LONDON MATHEMATICAL SOCIETY

A walk with Goodstein and Ackermann

David Fernández-DuqueAndreas Weiermann

A1 Journal Article in NOTRE DAME JOURNAL OF FORMAL LOGIC

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal

David Fernández-DuqueAndreas Weiermann

A1 Journal Article in ANNALS OF PURE AND APPLIED LOGIC

Functorial fast-growing hierarchies

Juan P. AguileraFedor PakhomovAndreas Weiermann

A1 Journal Article in FORUM OF MATHEMATICS SIGMA

A walk with Goodstein

David Fernández-DuqueAndreas Weiermann

A1 Journal Article in BULLETIN OF SYMBOLIC LOGIC

Metric fixed point theory and partial impredicativity

David Fernández-DuqueP. ShaferH. TowsnerK. Yokoyama

A1 Journal Article in PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES

The universal tangle for spatial reasoning

David Fernández-DuqueKonstantinos Papafilippou

Bookchapter in Logics in artificial intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings

Some independence results related to finite trees

Harvey Martin FriedmanAndreas Weiermann

A1 Journal Article in PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES

Noetherian Gödel logics

J. P. AguileraJan BydžovskýDavid Fernández-Duque

A1 Journal Article in JOURNAL OF LOGIC AND COMPUTATION

Arithmetical and hyperarithmetical worm battles

David Fernández-DuqueJoost J JoostenFedor PakhomovKonstantinos PapafilippouAndreas Weiermann

A1 Journal Article in JOURNAL OF LOGIC AND COMPUTATION

Minimal bad sequences are necessary for a uniform Kruskal theorem

Anton FreundMichael RathjenAndreas Weiermann

A1 Journal Article in ADVANCES IN MATHEMATICS

Boundedness theorems for flowers and sharps

J. P. AguileraAnton FreundMichael RathjenAndreas Weiermann

A1 Journal Article in PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY

Hyperarithmetical worm battles

David Fernández-DuqueKonstantinos PapafilippouJoost J. Joosten

Activities ( 0 )

Results

Impact narratives ( 0 )

Patents ( 0 )