Publisher
American Mathematical Society (AMS)
Subject
Applied Mathematics,General Mathematics
Reference5 articles.
1. The constructivity of maximal dual ideals in certain Boolean algebras;Dekker, J. C. E.;Pacific J. Math.,1953
2. Two notes on recursively enumerable sets;Dekker, J. C. E.;Proc. Amer. Math. Soc.,1953
3. Recursive predicates and quantifiers;Kleene, S. C.;Trans. Amer. Math. Soc.,1943
4. Recursively enumerable sets of positive integers and their decision problems;Post, Emil L.;Bull. Amer. Math. Soc.,1944
5. Classes of recursively enumerable sets and their decision problems;Rice, H. G.;Trans. Amer. Math. Soc.,1953
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. THE DISCONTINUITY PROBLEM;The Journal of Symbolic Logic;2022-01-03
2. Creative and Productive Sets; Completeness and Incompleteness;Computability;2021-10-22
3. Analyzing Program Analyses;ACM SIGPLAN Notices;2015-05-11
4. Analyzing Program Analyses;Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2015-01-14
5. A variant of the Notion of Semicreative set;Mathematical Logic Quarterly;1993