A note on the decidability of exponential terms

DOI10.1002/MALQ.200610047MaRDI QIDQ5293201zbMATH OpenOpenAlexFDO

Authors Paola D'Aquino, Giuseppina Terzo

Publication date 26 June 2007

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200610047

zbMATH Keywords

decidabilityexponential polynomial ringsexponential ringsfree exponential rings

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Model-theoretic algebra (03C60)

Recommendations

• scientific article; zbMATH DE number 1064597
• An arithmetic criterion for the values of the exponential function
• Zero tests for constants in simple scientific computation
• Some Consequences of Schanuel's Conjecture in Exponential Rings
• scientific article; zbMATH DE number 1263350

Cites work

• Exponential rings, exponential polynomials and exponential functions
• scientific article; zbMATH DE number 1169378 (Why is no real title available?)

Cited in

(6)

• Zero tests for constants in simple scientific computation
• scientific article; zbMATH DE number 3845728 (Why is no real title available?)
• Some Consequences of Schanuel's Conjecture in Exponential Rings
• scientific article; zbMATH DE number 1064597 (Why is no real title available?)
• Deciding polynomial-exponential problems
• Multiplicative independence of algebraic numbers and expressions

This page was built for publication: A note on the decidability of exponential terms

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