Effectively Simple Sets

DOI10.2307/2034903MaRDI QIDQ5586285zbMATH OpenOpenAlexFDO

Authors Raymond M. Smullyan

Publication date 1964

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

zbMATH Keywords

recursion theory, constructive mathematics

Cites work

• A Theorem on Hypersimple Sets
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Recursively enumerable sets of positive integers and their decision problems
• Theory of Formal Systems. (AM-47)

Cited in

(9)

• Effectively hyperimmune sets and majorants
• On the degrees of constructively immune sets
• On effectively hypersimple sets
• Effective bi-immunity and randomness
• Recursively enumerable sets and degrees
• Complete Recursively Enumerable Sets
• Semirecursive Sets and Positive Reducibility
• Completeness, the Recursion Theorem, and Effectively Simple Sets
• Constructivity conditions on immune sets

This page was built for publication: Effectively Simple Sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5586285)