论文信息 - Set-Theoretic Reductions of Hilbert's Tenth Problem - 字舞流文

Set-Theoretic Reductions of Hilbert's Tenth Problem

Vincenzo Cutello | Domenico Cantone | Alberto Policriti

[1] J. Schwartz,et al. Decision procedures for elementary sublanguages of set theory. I. Multi‐level syllogistic and some extensions , 1980 .

[2] Alberto Policriti,et al. 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 , 1988 .

[3] Wolfgang Schönfeld. An Undecidability Result for Relation Algebras , 1979, J. Symb. Log..

[4] Domenico Cantone,et al. What Is Computable Set Theory , 1990 .

[5] E. Börger. Computability, complexity, logic , 1989 .

[6] Azriel Levy. Basic set theory , 1979 .

[7] A. Ferro,et al. Decision Procedures for Elementary Sublanguages of Set Theory II , 1981 .