#### Filter Results:

- Full text PDF available (1)

#### Publication Type

#### Journals and Conferences

#### Key Phrases

Learn More

- Yalin F. Çelikler
- Math. Log. Q.
- 2007

The theory of algebraically closed non-Archimedean valued fields is proved to eliminate quantifiers in an analytic language similar to the one used by Cluckers, Lipshitz and Robinson. The proof makes use of a uniform parameterized normalization theorem which is also proved in this paper and which has far reaching consequences in the geometry of definable… (More)

- ‹
- 1
- ›