scientific article; zbMATH DE number 1064597

MaRDI QIDQ4355928zbMATH OpenFDO

Authors A. J. Wilkie

Publication date 1 June 1998

zbMATH Keywords

algorithmdecidabilityexistential theoryexponentiationrealsShanuel's conjecture

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability and field theory (12L05)

Recommendations

• scientific article; zbMATH DE number 5251297
• scientific article; zbMATH DE number 1169378
• A note on the decidability of exponential terms
• ON THE THEORY OF EXPONENTIAL FIELDS

Cited in

(12)

• Forcing the truth of a weak form of Schanuel's conjecture
• A note on Schanuel's conjectures for exponential logarithmic power series fields
• On the expressiveness and decidability of o-minimal hybrid systems
• On the decidability of the real field with a generic power function
• scientific article; zbMATH DE number 1169378 (Why is no real title available?)
• A note on the decidability of exponential terms
• THE UNIFORM SCHANUEL CONJECTURE OVER THE REAL NUMBERS
• Embedding the prime model of real exponentiation into o‐minimal exponential fields
• Weighted o-minimal hybrid systems
• Automated tail bound analysis for probabilistic recurrence relations
• On decidability of time-bounded reachability in CTMDPs
• Schanuel's conjecture and the roots of elementary functions

This page was built for publication:

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