All Questions
Tagged with valuation-theory model-theory
3 questions with no upvoted or accepted answers
5
votes
0
answers
119
views
Existence of invariant valuations
Given a field $K$, one can enrich it via a valuation, an automorphism or both structures at the same time in a compatible way. In all of these three cases, the model theory is well-understood (under ...
4
votes
0
answers
109
views
Valued fields with quantifier elimination in the Macintyre language
For which fields $k$ of characteristic $p$ does the Witt construction of a discretely valued field $W(k)$ of characteristic $0$ with residue field $k$ eliminate quantifiers in the language of rings ...
1
vote
0
answers
218
views
Interpretation of model theory in algebraic geometry
I found a paper Some applications of a model theoretic fact to (semi-) algebraic geometry by Lou van den Dries. In this paper, the author uses model theoretical methods to prove the completeness of ...