All Questions
1 question
1
vote
1
answer
654
views
Completeness of Algebraically Closed Valued Fields(ACVF) Theory
One can prove Elimination of Quantifiers of ACVF finding an extension of any partial embedding of a model $K$ into a $|K|^+$ Saturated one using the language $\mathcal{L} = ( 0,1,+,*, U, \mid )$. In ...
- 345