Ghent University Academic Bibliography

Your filters: cql: keyword exact "proof theory"

Add to list
- Journal Article
- A1
- open access
A walk with Goodstein

David Fernández-Duque (UGent) and Andreas Weiermann (UGent)

(2024) BULLETIN OF SYMBOLIC LOGIC. 30(1). p.1-19
Add to list
- Journal Article
- A1
- open access
Functorial fast-growing hierarchies

Juan P. Aguilera, Fedor Pakhomov (UGent) and Andreas Weiermann (UGent)

(2024) FORUM OF MATHEMATICS SIGMA. 12.
Add to list
- Book Chapter
Intermediate Goodstein principles

David Fernández-Duque (UGent) , Oriola Gjetaj (UGent) and Andreas Weiermann (UGent)

(2023) Mathematics for Computation (M4C). p.165-194
Add to list
- Journal Article
- A1
- open access
Boundedness theorems for flowers and sharps

J. P. Aguilera (UGent) , Anton Freund, Michael Rathjen and Andreas Weiermann (UGent)

(2022) PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY. 150(9). p.3973-3988
Add to list
- Journal Article
- A1
- open access
Minimal bad sequences are necessary for a uniform Kruskal theorem

Anton Freund, Michael Rathjen and Andreas Weiermann (UGent)

(2022) ADVANCES IN MATHEMATICS. 400.
Add to list
- Journal Article
- A1
- open access
Deducibility and independence in Beklemishev's autonomous provability calculus

David Fernández-Duque (UGent) and Eduardo Hermo-Reyes

(2022) INFORMATION AND COMPUTATION. 287.
Add to list
- Journal Article
- A1
- open access
Ackermann and Goodstein go functorial

J. P. Aguilera (UGent) , Anton Freund, Michael Rathjen and Andreas Weiermann (UGent)

(2021) PACIFIC JOURNAL OF MATHEMATICS. 33(2). p.251-291
Add to list
Goodstein sequences on a parametrized Ackermann-Peter function

Toshiyasu Arai, Stan Wainer and Andreas Weiermann (UGent)

(2021) BULLETIN OF SYMBOLIC LOGIC. 27(2). p.168-186
Add to list
Determinate logic and the axiom of choice

J. P. Aguilera (UGent)

(2020) ANNALS OF PURE AND APPLIED LOGIC. 171(2).
Add to list
Predicatively unprovable termination of the Ackermannian Goodstein process

Toshiyasu Arai, David Fernández-Duque (UGent) , Stanley Wainer and Andreas Weiermann (UGent)

(2020) PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY. 148. p.3567-3582

Academic Bibliography

A walk with Goodstein

Functorial fast-growing hierarchies

Intermediate Goodstein principles

Boundedness theorems for flowers and sharps

Minimal bad sequences are necessary for a uniform Kruskal theorem

Deducibility and independence in Beklemishev's autonomous provability calculus

Ackermann and Goodstein go functorial

Goodstein sequences on a parametrized Ackermann-Peter function

Determinate logic and the axiom of choice

Predicatively unprovable termination of the Ackermannian Goodstein process

Contents

Support

Contact