Publication:4896511
From MaRDI portal
zbMath0891.12006MaRDI QIDQ4896511
Publication date: 22 June 1998
exponential fields; decidability problem; model completeness; Schanuel's conjecture; finiteness theorems; power series fields; exponential algebra; exponential rings; exponential Zariski topology
12L05: Decidability and field theory
03C60: Model-theoretic algebra
12J15: Ordered fields
12L12: Model theory of fields
Related Items
The removal of $\pi $ from some undecidable problems involving elementary functions, Embedding the prime model of real exponentiation into o‐minimal exponential fields, From Schanuel's conjecture to Shapiro's conjecture, On freely generated \(E\)-subrings, Pseudo-exponential maps, variants, and quasiminimality, Existentially closed exponential fields, A weak version of the strong exponential closure, Turing meets Schanuel