Franziska Jahnke

1. On the quantifier complexity of definable canonical henselian valuations
   2014/11/25 by Arno Fehm, Fehm, Arno, Franziska Jahnke +1 · 2 citations
   Computer Science · Mathematics · #12L12. Secondary: 12E30 #13J15 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Primary: 03C40 #Rings, Modules, and Algebras
2. Definable henselian valuations
   2012/10/29 by Franziska Jahnke, Jochen Koenigsmann, Jahnke, Franziska +1 · 1 citation
   Mathematics · #03C40 #12E30 #12J10 (Primary) 03C60 #12L12 (Secondary) #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis #Rings, Modules, and Algebras