| Contents (2007) | |||||||||||||||
Abstract | |||||||||||||||
| Abstract. We give axiomatizations and prove quantifier elimination theorems for first-order theories of unramified valued fields with an automorphism having a close interaction with the valuation. We achieve an analogue of the classical Ostrowski theory of pseudoconvergence. In the outstanding case of | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||