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
J. P. Aguilera
Fedor Pakhomov
Andreas Weiermann
Redactioneel materiaal
2023
The Löwenheim-Skolem theorem for Gödel logic
J. P. Aguilera
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2023
The Pi ^1_2 consequences of a theory
J. P. Aguilera
Fedor Pakhomov
A1
Artikel in een tijdschrift
in
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES
2023
The spectrum of Π¹₃-soundness
J. P. 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
J. P. Aguilera
Martín Diéguez
David Fernández-Duque
Brett McLean
C1
Conferentie
2022
Boundedness theorems for flowers and sharps
J. P. 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
J. P. Aguilera
A1
Artikel in een tijdschrift
in
FUNDAMENTA MATHEMATICAE
2022
Locally hyperarithmetical induction
J. P. Aguilera
A1
Artikel in een tijdschrift
in
BULLETIN OF THE LONDON MATHEMATICAL SOCIETY
2022
The number of axioms
J. P. 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
J. P. Aguilera
Martin Dieguez
David Fernández-Duque
Brett McLean
P1
Conferentie
2022
2021
Ackermann and Goodstein go functorial
J. P. Aguilera
Anton Freund
Michael Rathjen
Andreas Weiermann
A1
Artikel in een tijdschrift
in
PACIFIC JOURNAL OF MATHEMATICS
2021
Feedback hyperjump
J. P. Aguilera
Robert S. Lubarsky
A1
Artikel in een tijdschrift
in
JOURNAL OF LOGIC AND COMPUTATION
2021
Games and induction on reals
J. P. Aguilera
P. D. Welch
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2021
Shortening clopen games
J. P. Aguilera
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2021
The order of reflection
J. P. Aguilera
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2021
2020
Determinate logic and the axiom of choice
J. P. Aguilera
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2020
Determined admissible sets
J. P. Aguilera
A1
Artikel in een tijdschrift
in
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
2020
Fσ games and reflection in L(ℝ)
J. P. Aguilera
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2020
Provably Δ1 games
J. P. Aguilera
D. W. Blue
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2020
The consistency strength of long projective determinacy
J. P. Aguilera
Sandra Müller
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2020
2019
Unsound inferences make proofs shorter
J. P. Aguilera
Matthias Baaz
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2019
2017
Ten problems in Gödel logic
J. P. Aguilera
Matthias Baaz
A1
Artikel in een tijdschrift
in
SOFT COMPUTING
2017
2016
On the maximization of menu-dependent interval orders
J. P. Aguilera
Levent Ülkü
A1
Artikel in een tijdschrift
in
SOCIAL CHOICE AND WELFARE
2016