Ghent University Academic Bibliography

Your filters: cql: keyword exact "reflection principles"

Add to list
Reducing ω-model reflection to iterated syntactic reflection

Fedor Pakhomov (UGent) and James Walsh

(2023) JOURNAL OF MATHEMATICAL LOGIC. 23(2).
Add to list
- Miscellaneous
- open access
Reducing omega-model reflection to iterated syntactic reflection (vol 23, 2250001, 2021)

Fedor Pakhomov (UGent) and James Walsh

(2023) JOURNAL OF MATHEMATICAL LOGIC. 23(03).
Add to list
Logic of informal provability with truth values

Pawel Pawlowski (UGent) and Rafal Urbaniak (UGent)

(2023) LOGIC JOURNAL OF THE IGPL. 31(1). p.172-193
Add to list
- Journal Article
- A1
- open access
Informal provability and dialetheism

Pawel Pawlowski (UGent) and Rafal Urbaniak (UGent)

(2023) THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY. 89(2). p.204-215
Add to list
Arithmetical and hyperarithmetical worm battles

David Fernández-Duque (UGent) , Joost J Joosten, Fedor Pakhomov (UGent) , Konstantinos Papafilippou (UGent) and Andreas Weiermann (UGent)

(2022) JOURNAL OF LOGIC AND COMPUTATION. 32(8). p.1558-1584
Add to list
- Journal Article
- A1
- open access
REFLECTION RANKS AND ORDINAL ANALYSIS

Fedor Pakhomov (UGent) and James Walsh

(2021) JOURNAL OF SYMBOLIC LOGIC. 86(4). p.1350-1384
Add to list
- Journal Article
- A1
Predicativity through transfinite reflection

Andrés Cordón-Franco, David Fernández-Duque (UGent) , Joost J Joosten and Francisco Félix Lara-Martín

(2017) JOURNAL OF SYMBOLIC LOGIC. 82(3). p.787-808

Academic Bibliography