J. P. Aguilera

collaborators

2 papers

math.LO2025

The Provably Total Set-Recursive Functions of KPl

Juan Pablo Aguilera, Anton Fernández, Joost J. Joosten

Using relativized ordinal analysis, we give a proof-theoretic characterization of the provably total set-recursive-from- $ω$ functions of KPl and related theories.

math.LO2023

Reflection Properties of Ordinals in Generic Extensions

Juan P. Aguilera, Corey Bacal Switzer

We study the question of when a given countable ordinal $α$ is $Σ_{n}^{1}$ - or $Π_{n}^{1}$ -reflecting in models which are neither $PD$ models nor the constructible universe, focus…