Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Infrastructuur
Contact
Research Explorer
Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.
Onderzoeker
Juan Aguilera
Profiel
Projecten
Publicaties
Activiteiten
Prijzen & Erkenningen
23
Resultaten
2023
Modern perspectives in Proof Theory
Juan Aguilera
Fedor Pakhomov
Andreas Weiermann
Redactioneel materiaal
2023
The Löwenheim-Skolem theorem for Gödel logic
Juan Aguilera
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2023
The Pi ^1_2 consequences of a theory
Juan Aguilera
Fedor Pakhomov
A1
Artikel in een tijdschrift
in
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES
2023
The spectrum of Π¹₃-soundness
Juan Aguilera
Fedor Pakhomov
A1
Artikel in een tijdschrift
in
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
2023
2022
A Gödel calculus for linear temporal logic
Juan Aguilera
Martín Diéguez
David Fernández-Duque
Brett McLean
C1
Conferentie
2022
Boundedness theorems for flowers and sharps
Juan Aguilera
Anton Freund
Michael Rathjen
Andreas Weiermann
A1
Artikel in een tijdschrift
in
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
2022
Countable ordinals in indiscernibility spectra
Juan Aguilera
A1
Artikel in een tijdschrift
in
FUNDAMENTA MATHEMATICAE
2022
Locally hyperarithmetical induction
Juan Aguilera
A1
Artikel in een tijdschrift
in
BULLETIN OF THE LONDON MATHEMATICAL SOCIETY
2022
The number of axioms
Juan Aguilera
M. Baaz
J. Bydžovský
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2022
Time and Godel : fuzzy temporal reasoning in PSPACE
Juan Aguilera
Martin Dieguez
David Fernández-Duque
Brett McLean
P1
Conferentie
2022
2021
Ackermann and Goodstein go functorial
Juan Aguilera
Anton Freund
Michael Rathjen
Andreas Weiermann
A1
Artikel in een tijdschrift
in
PACIFIC JOURNAL OF MATHEMATICS
2021
Feedback hyperjump
Juan Aguilera
Robert S. Lubarsky
A1
Artikel in een tijdschrift
in
JOURNAL OF LOGIC AND COMPUTATION
2021
Games and induction on reals
Juan Aguilera
P. D. Welch
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2021
Shortening clopen games
Juan Aguilera
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2021
The order of reflection
Juan Aguilera
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2021
2020
Determinate logic and the axiom of choice
Juan Aguilera
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2020
Determined admissible sets
Juan Aguilera
A1
Artikel in een tijdschrift
in
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
2020
Fσ games and reflection in L(ℝ)
Juan Aguilera
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2020
Provably Δ1 games
Juan Aguilera
D. W. Blue
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2020
The consistency strength of long projective determinacy
Juan Aguilera
Sandra Müller
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2020
2019
Unsound inferences make proofs shorter
Juan Aguilera
Matthias Baaz
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2019
2017
Ten problems in Gödel logic
Juan Aguilera
Matthias Baaz
A1
Artikel in een tijdschrift
in
SOFT COMPUTING
2017
2016
On the maximization of menu-dependent interval orders
Juan Aguilera
Levent Ülkü
A1
Artikel in een tijdschrift
in
SOCIAL CHOICE AND WELFARE
2016