< Terug naar vorige pagina
Onderzoeker
Juan Aguilera
- Disciplines:Andere wiskunde en statistiek niet elders geclassificeerd
Affiliaties
- Vakgroep Wiskunde: Analyse, Logica en Discrete Wiskunde (Departement)
Lid
Vanaf1 nov 2019 → 9 mei 2024
Projecten
1 - 1 of 1
- De Ordinaal-analyse van Determinisme-theorieënVanaf1 okt 2019 → 31 dec 2023Financiering: FWO junior postdoctoraal mandaat
Publicaties
1 - 10 van 20
- The Löwenheim-Skolem theorem for Gödel logic(2023)Gepubliceerd in: ANNALS OF PURE AND APPLIED LOGICISSN: 1873-2461Issue: 4Volume: 174
- Modern perspectives in Proof Theory(2023)Gepubliceerd in: PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCESISSN: 1471-2962Issue: 2248Volume: 381
- The spectrum of Π¹₃-soundness(2023)Gepubliceerd in: PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCESISSN: 1471-2962Issue: 2248Volume: 381
- The Pi ^1_2 consequences of a theory(2023)Gepubliceerd in: JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIESISSN: 1469-7750Issue: 3Volume: 107Pagina's: 1045 - 1073
- Boundedness theorems for flowers and sharps(2022)Gepubliceerd in: PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETYISSN: 1088-6826Issue: 9Volume: 150Pagina's: 3973 - 3988
- Time and Godel : fuzzy temporal reasoning in PSPACE(2022)Volume: 13468Pagina's: 18 - 35
- The number of axioms(2022)Gepubliceerd in: ANNALS OF PURE AND APPLIED LOGICISSN: 1873-2461Issue: 5Volume: 173
- Locally hyperarithmetical induction(2022)Gepubliceerd in: BULLETIN OF THE LONDON MATHEMATICAL SOCIETYISSN: 1469-2120Issue: 2Volume: 55Pagina's: 865 - 878
- Countable ordinals in indiscernibility spectra(2022)Gepubliceerd in: FUNDAMENTA MATHEMATICAEISSN: 1730-6329Issue: 2Volume: 260Pagina's: 99 - 109
- A Gödel calculus for linear temporal logic(2022)Pagina's: 2 - 11