Effectively Simple Sets

DOI10.2307/2034903zbMATH Open0192.05101OpenAlexW4243731126MaRDI QIDQ5586285FDOQ5586285

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

• Title not available (Why is that?)
• A Theorem on Hypersimple Sets
• Theory of Formal Systems. (AM-47)
• Recursively enumerable sets of positive integers and their decision problems

Cited In (8)

• On the degrees of constructively immune sets
• Effective bi-immunity and randomness
• Semirecursive Sets and Positive Reducibility
• Effectively hyperimmune sets and majorants
• Complete Recursively Enumerable Sets
• Completeness, the Recursion Theorem, and Effectively Simple Sets
• Recursively enumerable sets and degrees
• On effectively hypersimple 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)