Decidability in elementary analysis. II

DOI10.1016/0001-8708(90)90056-SzbMath0698.03002OpenAlexW2084312791MaRDI QIDQ912081

Harvey M. Friedman, Seress, Ákos

Publication date: 1990

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0001-8708(90)90056-s

zbMATH Keywords

halting problemmonotone functionscontinuous functionsseparated sentences

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Related Items (2)

A decidable theory involving addition of differentiable real functions ⋮ Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates

Cites Work

• Unnamed Item
• The decision problem for linear temporal logic
• Decidability in elementary analysis. I
• Existential interpretation. II
• Piecewise monotone polynomial interpolation
• On Computable Numbers, with an Application to the Entscheidungsproblem

This page was built for publication: Decidability in elementary analysis. II