Effectively Simple Sets

DOI10.2307/2034903zbMath0192.05101OpenAlexW4243731126MaRDI QIDQ5586285

Raymond M. Smullyan

Publication date: 1964

Full work available at URL: https://doi.org/10.2307/2034903

zbMATH Keywords

recursion theory, constructive mathematics

Related Items

Complete Recursively Enumerable Sets, Effective Bi-immunity and Randomness, Semirecursive Sets and Positive Reducibility, Completeness, the Recursion Theorem, and Effectively Simple Sets, Recursively enumerable sets and degrees, Effectively hyperimmune sets and majorants, On effectively hypersimple sets, On the degrees of constructively immune sets

Cites Work

• Unnamed Item
• Theory of Formal Systems. (AM-47)
• A Theorem on Hypersimple Sets
• Recursively enumerable sets of positive integers and their decision problems