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

zbMATH Open1309.03007MaRDI QIDQ4913613FDOQ4913613

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

Publication date: 8 April 2013

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

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)

Cited In (6)

• Decidability in elementary analysis. II
• Title not available (Why is that?)
• 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)