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. Bivariant Versions of Algebraic Cobordism
    2015/09/02 by Rui Miguel Saramago, Saramago, Rui Miguel · 1 citation
    Mathematics · #14C17 #14F99 #18C99 #55N22 #55N35 #57R90 #Advanced Algebra and Geometry #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #FOS: Mathematics