Pages that link to "Item:Q3255349"

The following pages link to Some Theorems on Classes of Recursively Enumerable Sets (Q3255349):

Displaying 30 items.

• Representation theorems for recursively enumerable sets and a conjecture related to Poonen's large subring of \(\mathbb Q\) (Q393224) (← links)
• A new recursive theorem on \(n\)-extendibility (Q675894) (← links)
• On the theory of the PTIME degrees of the recursive sets (Q751819) (← links)
• The divisibility of isols by powers of primes (Q772633) (← links)
• The basic theory of partial \(\alpha\)-recursive operators (Q1078175) (← links)
• Bibliography of John Myhill (Q1192339) (← links)
• Complexity classes of partial recursive functions (Q1221487) (← links)
• A restricted analog of the third level of Rice's theorem for semantic classes of sentences (Q1320692) (← links)
• A representation of recursively enumerable sets through Horn formulas in higher recursion theory (Q1677584) (← links)
• Effective inseparability in a topological setting (Q1923565) (← links)
• The enumerability and invariance of complexity classes (Q2545514) (← links)
• On completely recursively enumerable classes and their key arrays (Q3237143) (← links)
• (Q3699680) (← links)
• (Q3819054) (← links)
• (Q4063428) (← links)
• Recursively enumerable sets and degrees (Q4184825) (← links)
• The classification of statistically recursive sets (Q4245980) (← links)
• The Index Set of Injectively Enumerable Classes of Recursively Enumerable Sets in ∑₅‐Complete (Q4304153) (← links)
• A class of enumerable sets (Q4501459) (← links)
• On a Class of Recursively Enumerable Sets (Q4704651) (← links)
• Some Characterization of Recursively Enumerable Sets (Q4780528) (← links)
• Termination analysis for offline partial evaluation of a higher order functional language (Q5030188) (← links)
• RECURSIVELY ENUMERABLE SETS AND WELL-ORDERING OF THEIR ENUMERATIONS (Q5499651) (← links)
• On the Degrees of Index Sets (Q5519130) (← links)
• Isomorphism Types of Index Sets of Partial Recursive Functions (Q5547579) (← links)
• On Creative Sets and Indices of Partial Recursive Functions (Q5547580) (← links)
• A Theorem on Productive Functions (Q5601466) (← links)
• A Theorem on Recursively Enumerable Classes and Splinters (Q5607997) (← links)
• The Family of all Recursively Enumerable Classes of Finite Sets (Q5625133) (← links)
• Recursively enumerable classes and their application to recursive sequences of formal theories (Q5652663) (← links)