Name Card

Full name Familienname, Vorname
Aguilera Ozuna, Juan Pablo
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 35 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Aguilera Ozuna, Juan Pablo ; Pakhomov, Fedor The Π¹₂ consequences of a theoryArticle Artikel Mar-2023
2Aguilera, Juan P ; Lubarsky, Robert S Feedback HyperjumpArtikel Article 2021
3Aguilera, J. P. Long Borel GamesArtikel Article 2021
4Aguilera Ozuna, Juan Pablo The 12 Consequences of a theoryPräsentation Presentation2021
5Aguilera, Juan P. ; Müller, Sandra ; Schlicht, Philipp Long Games and σ-Projective SetsArtikel Article 2021
6AGUILERA, JUAN P. The Order of ReflectionArtikel Article 2021
7AGUILERA, JUAN P. Shortening Clopen GamesArtikel Article 2021
8Aguilera Ozuna, Juan Pablo ; Freund, Anton ; Rathjen, Michael ; Weiermann, Andreas Ackermann and Goodstein go functorial.Artikel Article 2021
9Aguilera, Juan Pablo ; Bydzovsky, Jan ; Fernández-Duque, David A non-hyperarithmetical Gödel logic.Beitrag in Tagungsband Inproceedings 2021
10Aguilera, J.P. Determinate Logic and the Axiom of ChoiceArtikel Article 2020
11Aguilera, J. Determined Admissible SetsArtikel Article 2020
12Aguilera, Juan P. ; Müller, Sandra Projective Games on the RealsArtikel Article 2020
13AGUILERA, J. P. Fσ Games And Reflection In L(ℝ)Artikel Article 2020
14AGUILERA, J. P. ; BLUE, D. W. Provably Δ₁ GamesArtikel Article 2020
15Aguilera, Juan P. ; Müller, Sandra The Consistency Strength of Long Projective DeterminacyArtikel Article 2020
16Aguilera Ozuna, Juan Pablo Between the finite and the infiniteThesis Hochschulschrift2019
17AGUILERA, JUAN P. ; BAAZ, MATTHIAS Unsound Inferences Make Proofs ShorterArtikel Article 2019
18Aguilera Ozuna, Juan Pablo Systems of determinacy in third-order arithmeticPräsentation Presentation2018
19Aguilera Juan P - 2017 - Ten problems in Goedel logic.pdf.jpgAguilera Ozuna, Juan Pablo ; Baaz, Matthias Ten problems in Gödel logicArticle Artikel Jan-2017
20Aguilera Ozuna, Juan Pablo Topologies on the Ordinals and Polymodal Provability LogicsPräsentation Presentation2017