vix.ing · top · new · best · stats · spec

1. A predicative variant of Hyland's Effective Topos
   2018/06/22 by Maietti, Maria Emilia, Maschio, Samuele · 1 citation
   #03D70 #03F50 #18C99 #18D30 #FOS: Mathematics #Logic (math.LO)
2. Functional interpretation and inductive definitions
   2008/02/13 by Avigad, Jeremy, Towsner, Henry · 1 citation
   #03D70 #03F10 #03F25 #FOS: Mathematics #Logic (math.LO)