Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Researcher

Oriola Gjetaj

Profile

Projects

Publications & Research Data

Activities

Awards & Distinctions

Patents

2 Results

2025

Gödel’s incompleteness at the frontiers of predicativity

Oriola GjetajAndreas WeiermannDavid Fernández-DuqueLorenzo Carlucci

Dissertation

2025

2023

Intermediate Goodstein principles

David Fernández-DuqueOriola GjetajAndreas Weiermann

Bookchapter in Mathematics for Computation (M4C)

2023