On the First-Order Theory of Real Exponentiation - Publications of the Scuola Normale Superiore 6 (Paperback)
  • On the First-Order Theory of Real Exponentiation - Publications of the Scuola Normale Superiore 6 (Paperback)
zoom

On the First-Order Theory of Real Exponentiation - Publications of the Scuola Normale Superiore 6 (Paperback)

(author)
£14.99
Paperback 107 Pages / Published: 19/03/2008
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

The first-order theory of real exponentiation has been studied by many mathematicians in the last fifty years, in particular by model theorists, real geometers and number theorists. The aim of this work is to present the results obtained so far in this area and to improve and refine them. In the early 1990s A. Macintyre and A.J. Wilkie proved that the theory of real exponentiation is decidable, provided that Schanuel's conjecture holds. In the proof of their result, they proposed a candidate for a complete and recursive axiomatization of the theory. While simplifying their axiomatization, the author of this book analyses (in the first three chapters) the model theory and geometry of a broad class of functions over real closed fields. Even though the methods used are elementary, the results hold in great generality. The last chapter is devoted solely to the decidability problem for the real exponential field.

Publisher: Birkhauser Verlag AG
ISBN: 9788876423253
Number of pages: 107
Weight: 295 g
Dimensions: 240 x 150 x 13 mm

You may also be interested in...

Riemannian Geometry and Geometric Analysis
Added to basket
Geometry Workbook For Dummies
Added to basket
Mathematical Origami
Added to basket
A Combinatorial Introduction to Topology
Added to basket
Islamic Design
Added to basket
£5.99
Paperback
Introduction to Topology
Added to basket
A Geometry of Music
Added to basket
Euclid's Window
Added to basket
Measurement
Added to basket
£14.95
Paperback
Trigonometry For Dummies
Added to basket
Fractals: A Very Short Introduction
Added to basket
Euclid's Elements
Added to basket
£31.99
Hardback
1,001 Geometry Practice Problems for Dummies
Added to basket
Euclid's Elements
Added to basket
£21.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.