Decidability in elementary analysis. II
From MaRDI portal
Publication:912081
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
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
This page was built for publication: Decidability in elementary analysis. II