Oriola Gjetaj

I am currently a postdoc at TU Wien in the computational logic group.

Before that, I had a brief position at Sapienza University of Rome.

I received my PhD in September 2025 at Ghent University, Belgium, under the supervision of Andreas Weiermann, Lorenzo Carlucci (Sapienza University of Rome), and David Fernández-Duque (University of Barcelona).

The title of my PhD thesis is “Gödel’s Incompleteness at the Frontiers of Provability”.

My research lies in mathematical logic, with a focus on proof theory, reverse mathematics, and computability theory.

Contact email:

oriola dot gjetaj at tuwien dot ac dot at

oriola dot gjetaj at gmail dot com

Work

Preprints

Goodstein at the Second Threshold: An independence Result for ID2 (joint with A. Weiermann, submitted, arXiv)

Published

Free Sets, thin sets and Rainbows for barriers (joint with L. Carlucci, arXiv)

Proceedings of the 22nd Conference on Computability in Europe Brattka, V., Fernau, H., Galeotti, L. (eds)

LNCS 16674 (2027) pp 208–223. DOI: http://doi.org/10.1007/978-3-032-31348-5_14

Ramsey-like theorems for the Schreier barrier (joint with L. Carlucci, Q. L.Houerou, L. L. Patey, arXiv)
Journal of Symbolic Logic vol. 90, no. 3, pp. 1–29, 2025. DOI: 10.1017/jsl.2025.10104

Intermediate Goodstein principles (joint with D. Fernandez-Duque and A. Weiermann , arXiv)
Mathematics for Computation (M4C) 2023, pp. 165--194,pp. 165 - 194 (https://doi.org/10.4171/dm/1049)

Conferences and Talks

Invited Talks

Computability, Complexity, and Randomness, Sep 2026, University of Leeds, Leeds, UK.
Workshop "Reverse Mathematics : Beyond Logic", Aug 2025, ESI Insitute, Vienna, Austria.
Talk: A trip to Goodstein island
Combinatorics (and much more) in Subsystems of Second Order Arithmetic: A Conference in Honor of Jeff Hirst, Aug 2025, TU Wien, Vienna, Austria.
Talk: Free sets and rainbows for colorings of exactly large sets and barriers

Contributed Talks

Computability in Europe 2026. Jul 2026 , Trier University, Germany.
Women in Logic, Jul 2026, FLoC Conference, Lisbon, Portugal.
6th International School and Workshop on Proof Theory, Sep 2024 , University of Birmingham, Birmingham, UK.
Talk: Free sets and rainbows for colorings of exactly large sets and barriers.
European Logic Colloquium, Jun 2024, Gothenburg University, Gothenburg, Sweden.
Talk: A Goodstein principle for ID2.
European Logic Colloquium, Jun 2022, Reykjavik University, Reykjavik, Iceland.
Talk: Intermediate Goodstein principles.

Invited Seminars

Seminari Cuc, May 2026 , University of Barcelona, Spain
Talk: Ramsey-type principles for barriers. Seminari Cuc, University of Barcelona, Spain.
Seminar of Mathematical Logic, Oct 2024, University of Lisbon, Lisbon, Portugal.
Talk: Free sets and rainbows for colorings of exactly large sets.
Mathematical Logic Seminar, May 2024 ,University of Ghent, Ghent, Belgium.
Talk: A Goodstein principle for ID2
IMS Graduate Summer School in Logic, Jul 2023, University of Singapore, Singapore.
Talk: A Goodstein result for ID2
Mathematical Logic seminar, Oct 2022, University of Warsaw, Warsaw, Poland.
Talk: Intermediate Goodstein Principles