Preview
Unable to display preview. Download preview PDF.
References
E. Börger. Computability, complexity, logic. North-Holland, Amsterdam, 1989.
M. Breban, A. Ferro, E.G. Omodeo, and J.T. Schwartz. Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions. Comm. Pure App. Math., XXXIV:177–195, 1981.
C. Cantone. A survey of computable set theory. Le Matematiche, to appear.
D. Cantone and V. Cutello. A decision procedure for set-theoretic formulae involving rank and cardinality comparison. Proceedings of 3rd Italian Conference on Theoretical Computer Science, Mantova, pp. 150–163, 1989.
D. Cantone, A. Ferro, and E.G. Omodeo. Computable Set Theory. Oxford University Press, to appear.
A. Ferro, E.G. Omodeo, and J.T. Schwartz. Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions. Comm. Pure App. Math., XXXIII:599–608, 1980.
T.J. Jech. Set theory. Academic Press, New York, 1978.
A. Levy. Basic Set Theory. Springer-Verlag, 1979.
Y. Matijasevič. Enumerable sets are Diphantine sets. Soviet Math. Doklady, 11:354–357, 1970.
F. Parlamento and A. Policriti. Decision procedures for elementary sublanguages of set theory. IX. Unsolvability of the decision problem for a restricted subclass of the Δ0-formulas in set theory. Comm. Pure App. Math., XLI:221–251, 1988.
W. Schönfeld. An undecidability result for relation algebras. JSL, 44:111–115, 1979. Refinement in: Gleichungen in der Algebra der binären Relationen. Habilitationsschrift, §5, Minerva Publikation, München 1981.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cantone, D., Cutello, V., Policriti, A. (1990). Set-theoretic reductions of Hilbert's tenth problem. In: Börger, E., Büning, H.K., Richter, M.M. (eds) CSL '89. CSL 1989. Lecture Notes in Computer Science, vol 440. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52753-2_32
Download citation
DOI: https://doi.org/10.1007/3-540-52753-2_32
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52753-4
Online ISBN: 978-3-540-47137-0
eBook Packages: Springer Book Archive