Model theory and exponentiation.

MaRDI QIDQ2769090zbMATH OpenFDO

Authors David Marker

Publication date 4 February 2002

Published in Notices of the American Mathematical Society (Search for Journal in Brave)

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Models of arithmetic and set theory (03C62) Nonstandard analysis (26E35)

Recommendations

• scientific article; zbMATH DE number 5251297
• On the theory of the real exponential field
• scientific article; zbMATH DE number 4041889
• ON THE THEORY OF EXPONENTIAL FIELDS
• scientific article; zbMATH DE number 1169378

Cited in

(13)

• Definable utility in o-minimal structures.
• Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
• Axiomatic (and non-axiomatic) mathematics
• scientific article; zbMATH DE number 3937151 (Why is no real title available?)
• Alfred Tarski's elimination theory for real closed fields
• A game-theoretic approach to fault diagnosis and identification of hybrid systems
• scientific article; zbMATH DE number 125222 (Why is no real title available?)
• Applications of real number theorem proving in PVS
• Lattice ordered o-minimal structures
• The Diophantine problem for systems of algebraic equations with exponents
• The quest for an adequate semantic basis of dense-time metric temporal logic
• Decision problems in information theory
• Compression schemes, stable definable families, and o-minimal structures

This page was built for publication: Model theory and exponentiation.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2769090)