Thu, 30 Oct 2014
11:00
11:00
C5
"Decidability in extensions of F_p((t))";
Ben Rigler
(Oxford)
Abstract
"We consider certain distinguished extensions of the field F_p((t)) of formal Laurent series over F_p, and look at questions about their model theory and Galois theory, with a particular focus on decidability."