"Countable Valued Fields in Weak Subsystems of Second-Order Arithmetic."

Kostas Hatzikiriakou, Stephen G. Simpson (1989)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics