Onderzoeker

Juan Aguilera

1 - 10 van 20

The Löwenheim-Skolem theorem for Gödel logic(2023)
Gepubliceerd in: ANNALS OF PURE AND APPLIED LOGIC
ISSN: 1873-2461
Issue: 4
Volume: 174
Modern perspectives in Proof Theory(2023)
Gepubliceerd in: PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
ISSN: 1471-2962
Issue: 2248
Volume: 381
The spectrum of Π¹₃-soundness(2023)
Gepubliceerd in: PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
ISSN: 1471-2962
Issue: 2248
Volume: 381
The Pi ^1_2 consequences of a theory(2023)
Gepubliceerd in: JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES
ISSN: 1469-7750
Issue: 3
Volume: 107
Pagina's: 1045 - 1073
Boundedness theorems for flowers and sharps(2022)
Gepubliceerd in: PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
ISSN: 1088-6826
Issue: 9
Volume: 150
Pagina's: 3973 - 3988
Time and Godel : fuzzy temporal reasoning in PSPACE(2022)
Volume: 13468
Pagina's: 18 - 35
The number of axioms(2022)
Gepubliceerd in: ANNALS OF PURE AND APPLIED LOGIC
ISSN: 1873-2461
Issue: 5
Volume: 173
Locally hyperarithmetical induction(2022)
Gepubliceerd in: BULLETIN OF THE LONDON MATHEMATICAL SOCIETY
ISSN: 1469-2120
Issue: 2
Volume: 55
Pagina's: 865 - 878
Countable ordinals in indiscernibility spectra(2022)
Gepubliceerd in: FUNDAMENTA MATHEMATICAE
ISSN: 1730-6329
Issue: 2
Volume: 260
Pagina's: 99 - 109
A Gödel calculus for linear temporal logic(2022)
Pagina's: 2 - 11