scientific article; zbMATH DE number 937371

MaRDI QIDQ4896511zbMATH OpenFDO

Authors Angus Macintyre

Publication date 22 June 1998

zbMATH Keywords

decidability problemexponential algebraexponential fieldsexponential ringsexponential Zariski topologyfiniteness theoremsmodel completenesspower series fieldsSchanuel's conjecture

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Ordered fields (12J15) Decidability and field theory (12L05) Model theory of fields (12L12)

Recommendations

• Exponential algebraicity in exponential fields
• Finitely presented exponential fields
• ON THE THEORY OF EXPONENTIAL FIELDS
• scientific article; zbMATH DE number 1169378
• Exponentiation in power series fields

Cited in

(17)

• On freely generated \(E\)-subrings
• Exponential rings, exponential polynomials and exponential functions
• Pseudo-exponential maps, variants, and quasiminimality
• Existentially closed exponential fields
• A weak version of the strong exponential closure
• Turing meets Schanuel
• Exponential algebraicity in exponential fields
• scientific article; zbMATH DE number 3845728 (Why is no real title available?)
• On Algebraic Geometry Over Rings with Exponentiation
• scientific article; zbMATH DE number 3981961 (Why is no real title available?)
• From Schanuel's conjecture to Shapiro's conjecture
• The removal of \pi from some undecidable problems involving elementary functions
• Embedding the prime model of real exponentiation into o‐minimal exponential fields
• Hilbert polynomials for finitary matroids
• Exponential topological fields with a generic derivation
• E-ideals in exponential polynomial rings
• A note on exponential polynomials

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 Q4896511)