J. P. Aguilera
Show
Sort by
-
- Journal Article
- A1
- open access
The Pi ^1_2 consequences of a theory
-
The spectrum of Π¹₃-soundness
-
- Journal Article
- A1
- open access
The Löwenheim-Skolem theorem for Gödel logic
-
- Miscellaneous
- open access
Modern perspectives in Proof Theory
-
- Journal Article
- A1
- open access
Locally hyperarithmetical induction
-
- Conference Paper
- C1
- open access
A Gödel calculus for linear temporal logic
-
- Conference Paper
- P1
- open access
Time and Godel : fuzzy temporal reasoning in PSPACE
-
The number of axioms
-
- Journal Article
- A1
- open access
Boundedness theorems for flowers and sharps
-
- Journal Article
- A1
- open access
Ackermann and Goodstein go functorial