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 and Outcomes

Publications

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

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

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