Manage settings
MENU
About this site
In het Nederlands
Home
Researchers
Projects
Organisations
Publications
Infrastructure
Contact
Research Explorer
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
Juan Aguilera
Profile
Projects
Publications
Activities
Awards & Distinctions
23
Results
2023
Modern perspectives in Proof Theory
Juan Aguilera
Fedor Pakhomov
Andreas Weiermann
Editorial material
2023
The Löwenheim-Skolem theorem for Gödel logic
Juan Aguilera
A1
Journal Article
in
ANNALS OF PURE AND APPLIED LOGIC
2023
The Pi ^1_2 consequences of a theory
Juan Aguilera
Fedor Pakhomov
A1
Journal Article
in
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES
2023
The spectrum of Π¹₃-soundness
Juan Aguilera
Fedor Pakhomov
A1
Journal Article
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
Conference
2022
Boundedness theorems for flowers and sharps
Juan Aguilera
Anton Freund
Michael Rathjen
Andreas Weiermann
A1
Journal Article
in
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
2022
Countable ordinals in indiscernibility spectra
Juan Aguilera
A1
Journal Article
in
FUNDAMENTA MATHEMATICAE
2022
Locally hyperarithmetical induction
Juan Aguilera
A1
Journal Article
in
BULLETIN OF THE LONDON MATHEMATICAL SOCIETY
2022
The number of axioms
Juan Aguilera
M. Baaz
J. Bydžovský
A1
Journal Article
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
Conference
2022
2021
Ackermann and Goodstein go functorial
Juan Aguilera
Anton Freund
Michael Rathjen
Andreas Weiermann
A1
Journal Article
in
PACIFIC JOURNAL OF MATHEMATICS
2021
Feedback hyperjump
Juan Aguilera
Robert S. Lubarsky
A1
Journal Article
in
JOURNAL OF LOGIC AND COMPUTATION
2021
Games and induction on reals
Juan Aguilera
P. D. Welch
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
2021
Shortening clopen games
Juan Aguilera
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
2021
The order of reflection
Juan Aguilera
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
2021
2020
Determinate logic and the axiom of choice
Juan Aguilera
A1
Journal Article
in
ANNALS OF PURE AND APPLIED LOGIC
2020
Determined admissible sets
Juan Aguilera
A1
Journal Article
in
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
2020
Fσ games and reflection in L(ℝ)
Juan Aguilera
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
2020
Provably Δ1 games
Juan Aguilera
D. W. Blue
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
2020
The consistency strength of long projective determinacy
Juan Aguilera
Sandra Müller
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
2020
2019
Unsound inferences make proofs shorter
Juan Aguilera
Matthias Baaz
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
2019
2017
Ten problems in Gödel logic
Juan Aguilera
Matthias Baaz
A1
Journal Article
in
SOFT COMPUTING
2017
2016
On the maximization of menu-dependent interval orders
Juan Aguilera
Levent Ülkü
A1
Journal Article
in
SOCIAL CHOICE AND WELFARE
2016