A note on the decidability of exponential terms

DOI10.1002/MALQ.200610047zbMATH Open1117.03040OpenAlexW2058974487MaRDI QIDQ5293201FDOQ5293201

Giuseppina Terzo, Paola D'Aquino

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

decidabilityfree exponential ringsexponential ringsexponential polynomial rings

Mathematics Subject Classification ID

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

Cites Work

• Exponential rings, exponential polynomials and exponential functions
• Title not available (Why is that?)

Cited In (2)

• Multiplicative independence of algebraic numbers and expressions
• Some Consequences of Schanuel's Conjecture in Exponential Rings

   Recommendations

• Title not available (Why is that?) 👍 👎
• 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 👍 👎
• Title not available (Why is that?) 👍 👎

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)