Aguilera, Juan P.

1. Strong Completeness of Provability Logic for Ordinal Spaces
   2015/11/18 by Aguilera, Juan P., Fernández-Duque, David · 1 citation
   #FOS: Mathematics #Logic (math.LO)
2. Large cardinals, structural reflection, and the HOD Conjecture
   2024/11/18 by Juan P. Aguilera, Aguilera, Juan P., Joan Bagaria +3 · 6 voices
   Mathematics · #03C55 #03E45 #03E55 #03E65 #18A15 #FOS: Mathematics #Logic (math.LO) #math.LO