All Stories

  1. Truncation and Semi-Decidability Notions in Applicative Theories

    Article • Journal of Symbolic Logic, September 2018, Cambridge University Press

    Prof. Gerhard Jaeger

  2. RELATIVIZING OPERATIONAL SET THEORY

    Article • Bulletin of Symbolic Logic, September 2016, Cambridge University Press

    Prof. Gerhard Jaeger