221 search results - page 45 / 45 » Heyting Algebras and Formal Languages |
103
Voted
JSYML
2000
15 years 20 hour ago
2000
The notion of a D-ring, generalizing that of a differential or a difference ring, is introduced. Quantifier elimination and a version of the AxKochen-Ershov principle is proven for...