Solvable (and unsolvable) cases of the decision problem for fragments of analysis

MaRDI QIDQ4913613zbMATH OpenFDO

Authors Domenico Cantone, Gaetano T. Spartà, Eugenio Omodeo

Publication date 8 April 2013

zbMATH Keywords

decidable theoriesTarski's elementary algebraone-variable functions

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) One-variable calculus (26A06)

Recommendations

• Decidability in elementary analysis. I
• Decidability in elementary analysis. II
• Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates
• Decision algorithms for some fragments of analysis and related areas
• Decision problems for differential equations

Cited in

(6)

• Decidability in elementary analysis. II
• scientific article; zbMATH DE number 1759844 (Why is no real title available?)
• Decision algorithms for some fragments of analysis and related areas
• Decidability properties for fragments of CHR
• A decidable theory involving addition of differentiable real functions
• Further generalizations of results on structures of continuous functions

This page was built for publication: Solvable (and unsolvable) cases of the decision problem for fragments of analysis

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