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

Anscombe, Will

  1. An existential 0-definition of Fq[[t]] in Fq((t))
    2013/06/28 by Anscombe, Will, Jochen Koenigsmann, Koenigsmann, Jochen · 2 citations
    Mathematics · #03C60 (Primary) 12L12 (Secondary) #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis #Rings, Modules, and Algebras