Research Explorer

Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Project

Reflectiespectra: predicaat wiskunde en verder

Output en outcomes

Publicaties

A walk with Goodstein and Ackermann

David Fernández-DuqueAndreas Weiermann

A1 Artikel in een tijdschrift in NOTRE DAME JOURNAL OF FORMAL LOGIC

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

David Fernández-DuqueAndreas Weiermann

A1 Artikel in een tijdschrift in ANNALS OF PURE AND APPLIED LOGIC

Functorial fast-growing hierarchies

Juan P. AguileraFedor PakhomovAndreas Weiermann

A1 Artikel in een tijdschrift in FORUM OF MATHEMATICS SIGMA

A walk with Goodstein

David Fernández-DuqueAndreas Weiermann

A1 Artikel in een tijdschrift in BULLETIN OF SYMBOLIC LOGIC

The universal tangle for spatial reasoning

David Fernández-DuqueKonstantinos Papafilippou

Hoofdstuk in een boek 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 Artikel in een tijdschrift 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 Artikel in een tijdschrift in JOURNAL OF LOGIC AND COMPUTATION

Minimal bad sequences are necessary for a uniform Kruskal theorem

Anton FreundMichael RathjenAndreas Weiermann

A1 Artikel in een tijdschrift in ADVANCES IN MATHEMATICS

Boundedness theorems for flowers and sharps

J. P. AguileraAnton FreundMichael RathjenAndreas Weiermann

A1 Artikel in een tijdschrift in PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY

Hyperarithmetical worm battles

David Fernández-DuqueKonstantinos PapafilippouJoost J. Joosten