AN EXISTENTIAL ∅-DEFINITION OF $F_q [[t]]$ IN $F_q \left( t \right)$

Will Anscombe, Jochen Koenigsmann. AN EXISTENTIAL ∅-DEFINITION OF $F_q [[t]]$ IN $F_q \left( t \right)$. Journal of Symbolic Logic, 79(4):1336-1343, 2014. [doi]

Abstract

Abstract is missing.