A note on the decidability of exponential terms

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

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

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

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 (5)

• Zero tests for constants in simple scientific computation
• Multiplicative independence of algebraic numbers and expressions
• Some Consequences of Schanuel's Conjecture in Exponential Rings
• Deciding polynomial-exponential problems
• 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)