𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Strong Version of the Basic Deciding Algorithm for the Existential Theory of Real Fields

✍ Scribed by A. L. Chistov

Book ID
110313571
Publisher
Springer US
Year
2001
Tongue
English
Weight
418 KB
Volume
107
Category
Article
ISSN
1573-8795

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Algebraic Model Theory || Schanuel’s Con
Algebraic Model Theory || Schanuel’s Conjecture and the Decidability of the Real Exponential Field
✍ Hart, Bradd T.; Lachlan, Alistair H.; Valeriote, Matthew A. πŸ“‚ Article πŸ“… 1997 πŸ› Springer Netherlands 🌐 Dutch βš– 897 KB

Recent Major Advances In Model Theory Include Connections Between Model Theory And Diophantine And Real Analytic Geometry, Permutation Groups, And Finite Algebras. The Present Book Contains Lectures On Recent Results In Algebraic Model Theory, Covering Topics From The Following Areas: Geometric Mode