Ghent University Academic Bibliography

Your filters: cql: parent exact "ANNALS OF PURE AND APPLIED LOGIC"

Add to list
- Journal Article
- A1
- open access
Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal

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

(2024) ANNALS OF PURE AND APPLIED LOGIC. 175(8).
Add to list
- Journal Article
Algebraic properties of the first-order part of a problem

Giovanni Solda (UGent) and Manlio Valenti

(2023) Annals of Pure and Applied Logic. 174(7).
Add to list
- Journal Article
- A1
- open access
The Löwenheim-Skolem theorem for Gödel logic

J. P. Aguilera (UGent)

(2023) ANNALS OF PURE AND APPLIED LOGIC. 174(4).
Add to list
The number of axioms

J. P. Aguilera (UGent) , M. Baaz and J. Bydžovský

(2022) ANNALS OF PURE AND APPLIED LOGIC. 173(5).
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
The strength of infinitary Ramseyan principles can be accessed by their densities

Andrey Bovykin and Andreas Weiermann (UGent)

(2017) ANNALS OF PURE AND APPLIED LOGIC. 168(9). p.1700-1709
Add to list
- Journal Article
- A1
- open access
The omega-rule interpretation of transfinite provability logic

David Fernández-Duque (UGent) and Joost J Joosten

(2017) ANNALS OF PURE AND APPLIED LOGIC. 169(4). p.333-371
Add to list
- Journal Article
- A1
- open access
Universality, optimality, and randomness deficiency

Rupert Hölzl and Paul Shafer (UGent)

(2015) ANNALS OF PURE AND APPLIED LOGIC. 166(10). p.1049--1069
Add to list
- Journal Article
- A1
- open access
WKL0 and induction principles in model theory

David Bélanger (UGent)

(2015) ANNALS OF PURE AND APPLIED LOGIC. 166(7-8). p.767-799
Add to list
- Journal Article
- A1
- open access
Reverse engineering reverse mathematics

Sam Sanders (UGent)

(2013) ANNALS OF PURE AND APPLIED LOGIC. 164(5). p.528-541

Academic Bibliography

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

Algebraic properties of the first-order part of a problem

The Löwenheim-Skolem theorem for Gödel logic

The number of axioms

Determinate logic and the axiom of choice

The strength of infinitary Ramseyan principles can be accessed by their densities

The omega-rule interpretation of transfinite provability logic

Universality, optimality, and randomness deficiency

WKL0 and induction principles in model theory

Reverse engineering reverse mathematics

Contents

Support

Contact