Classes of Recursively Enumerable Sets and Their Decision Problems

Publisher Website

1 March 1953

journal article
Published by JSTOR in Transactions of the American Mathematical Society

Vol. 74 (2) , 358-366
https://doi.org/10.2307/1990888

Abstract

References [Enhancements On Off] (What's this?)

Keywords

DECISION PROBLEM

This publication has 5 references indexed in Scilit:

On definable sets of positive integers
Fundamenta Mathematicae, 1947
Recursive Predicates and Quantifiers
Transactions of the American Mathematical Society, 1943
General recursive functions of natural numbers
Mathematische Annalen, 1936
An Unsolvable Problem of Elementary Number Theory
American Journal of Mathematics, 1936
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
Monatshefte für Mathematik, 1931