J. P. Aguilera
- Work address
-
Krijgslaan 281, S8
9000 Gent
Show
Sort by
-
- Journal Article
- A1
- open access
Boundedness theorems for flowers and sharps
-
- Journal Article
- A1
- open access
Ackermann and Goodstein go functorial
-
Determinate logic and the axiom of choice
-
- Journal Article
- A1
- open access
The consistency strength of long projective determinacy
-
Determined admissible sets
-
Unsound inferences make proofs shorter
-
- Journal Article
- A1
- open access
Ten problems in Gödel logic
-
On the maximization of menu-dependent interval orders