Model Theory and Exponentiation

  title={Model Theory and Exponentiation},
  author={David A Marker},
M odel theory is a branch of mathematical logic in which one studies mathematical structures by considering the first-order sentences true of those structures and the sets definable in those structures by first-order formulas. The fields of real and complex numbers have long served as motivating examples for model theorists. Many model theoretic concepts arose by abstracting classical algebraic phenomena to a more general setting (see, for example, [29]). In the past five years significant… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 23 references

Semialgebraic and subanalytic sets

E. Bierstone, P. Milman
IHES Publ. Math. 67 • 1988
View 5 Excerpts
Highly Influenced

A new decision method for elementary algebra

A. Seidenberg
Ann. of Math. 60 • 1954
View 4 Excerpts
Highly Influenced

Exponentiation is hard to avoid

C. Miller
Proc. Amer. Math. Soc. 122 • 1994
View 1 Excerpt

On the real exponential field with restricted analytic functions, Israel

L. van den Dries, C. Miller
J. Math • 1994
View 1 Excerpt

Sur les ensembles semi-analytiques avec conditions Gevrey au bord

J.-Cl. Tougeron
Ann. Sci. École Norm. Sup. (4) • 1994
View 2 Excerpts

Integer parts of real closed exponential fields

J. P. Ressayre
Arithmetic, Proof Theory, and Computational Complexity (P. Clote and J. Krajicek, eds.), Oxford Univ. Press • 1993

Schanuel's Conjecture and Free Exponential Rings

Ann. Pure Appl. Logic • 1991
View 1 Excerpt

iashenko, Finiteness theorems for limit cycles

Y. Il
Transl. Math. Monographs, • 1991

Finitude des cycles-limites et accélérosommation de l’application de retour

J. Ecalle
Bifurcations of Planar Vector Fields (J. P. Françoise and R. Roussarie, eds.), Lecture Notes in Math., vol. 1455, Springer-Verlag • 1990

Similar Papers

Loading similar papers…