221 search results - page 45 / 45 » Heyting Algebras and Formal Languages |
JSYML
2000
13 years 9 months 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...