All Stories

  1. The tension between infinity and orderliness in mathematics

    Article • Proceedings of the National Academy of Sciences, April 2026, Proceedings of the National Academy of Sciences

    Juan Aguilera

  2. Intuitionistic Gödel-Löb without Sharps

    Article • ACM Transactions on Computational Logic, September 2025, ACM (Association for Computing Machinery)

    Juan Aguilera

  3. Fundamental Logic Is Decidable

    Article • ACM Transactions on Computational Logic, July 2024, ACM (Association for Computing Machinery)

    Juan Aguilera

  4. STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES

    Article • Journal of Symbolic Logic, June 2017, Cambridge University Press

    Juan Aguilera