Academic Bibliography

Search 200 years of publications by Ghent University researchers.

J. P. Aguilera

Faculty of Sciences > Department of Mathematics: Analysis, Logic and Discrete Mathematics

Show Sort by

Add to list
- Journal Article
- A1
- open access
The Pi ^1_2 consequences of a theory

J. P. Aguilera (UGent) and Fedor Pakhomov (UGent)

(2023) JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES. 107(3). p.1045-1073
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
- Miscellaneous
- open access
Modern perspectives in Proof Theory

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

(2023) PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES. 381(2248).
Add to list
- Journal Article
- A1
- open access
Locally hyperarithmetical induction

J. P. Aguilera (UGent)

(2022) BULLETIN OF THE LONDON MATHEMATICAL SOCIETY. 55(2). p.865-878
Add to list
- Conference Paper
- C1
- open access
A Gödel calculus for linear temporal logic

J. P. Aguilera (UGent) , Martín Diéguez, David Fernández-Duque (UGent) and Brett McLean (UGent)

(2022) Principles of Knowledge Representation and Reasoning, 19th International conference, Proceedings. p.2-11
Add to list
- Conference Paper
- P1
- open access
Time and Godel : fuzzy temporal reasoning in PSPACE

J. P. Aguilera (UGent) , Martin Dieguez, David Fernández-Duque (UGent) and Brett McLean (UGent)

(2022) LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2022. In Lecture Notes in Computer Science 13468. p.18-35
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
- 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
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
Determinate logic and the axiom of choice

J. P. Aguilera (UGent)

(2020) ANNALS OF PURE AND APPLIED LOGIC. 171(2).

1
2

Next →