The Gödel class with identity is unsolvable
HTML articles powered by AMS MathViewer
- by Warren D. Goldfarb PDF
- Bull. Amer. Math. Soc. 10 (1984), 113-115
References
- Burton Dreben and Warren D. Goldfarb, The decision problem, Advanced Book Program, Addison-Wesley Publishing Co., Reading, Mass., 1979. Solvable classes of quantificational formulas. MR 548005
- Kurt Gödel, Zum Entscheidungsproblem des logischen Funktionenkalküls, Monatsh. Math. Phys. 40 (1933), no. 1, 433–443 (German). MR 1550218, DOI 10.1007/BF01708881
- A. S. Kahr, Edward F. Moore, and Hao Wang, Entscheidungsproblem reduced to the $\forall \exists \forall$ case, Proc. Nat. Acad. Sci. U.S.A. 48 (1962), 365–377. MR 169777, DOI 10.1073/pnas.48.3.365
Additional Information
- Journal: Bull. Amer. Math. Soc. 10 (1984), 113-115
- MSC (1980): Primary 03B10, 03B25; Secondary 68C30
- DOI: https://doi.org/10.1090/S0273-0979-1984-15207-8
- MathSciNet review: 722864