Some Theorems on Classes of Recursively Enumerable Sets

DOI10.2307/1993131zbMATH Open0083.00302OpenAlexW4239085824MaRDI QIDQ3255349FDOQ3255349

Authors: J. C. E. Dekker, John Myhill 

Publication date: 1958

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

Recommendations

• On a Class of Recursively Enumerable Sets
• A class of recursively enumerable sets
• scientific article; zbMATH DE number 4057498
• scientific article; zbMATH DE number 3997771
• RECURSIVELY ENUMERABLE SETS AND WELL-ORDERING OF THEIR ENUMERATIONS
• Some Characterization of Recursively Enumerable Sets
• scientific article; zbMATH DE number 3857079
• Some lattice-invariant properties of classes of recursively enumerable sets
• Some reducibilities and splittings of recursively enumerable sets
• scientific article; zbMATH DE number 4087651

zbMATH Keywords

classes of recursively enumerable sets

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Recursively enumerable sets of positive integers and their decision problems
• Title not available (Why is that?)
• Classes of Recursively Enumerable Sets and Their Decision Problems
• The upper semi-lattice of degrees of recursive unsolvability
• Effective operations on partial recursive functions
• On definable sets of positive integers
• Creative sets
• On completely recursively enumerable classes and their key arrays
• The constructivity of maximal dual ideals in certain Boolean algebras
• Degrees of Computability
• Two Notes on Recursively Enumerable Sets
• Productive Sets
• The divisibility of isols by powers of primes
• Title not available (Why is that?)

Cited In (32)

• Representation theorems for recursively enumerable sets and a conjecture related to Poonen's large subring of \(\mathbb Q\)
• A Theorem on Productive Functions
• On a Class of Recursively Enumerable Sets
• On the Degrees of Index Sets
• Termination analysis for offline partial evaluation of a higher order functional language
• Some Characterization of Recursively Enumerable Sets
• On the theory of the PTIME degrees of the recursive sets
• The Index Set of Injectively Enumerable Classes of Recursively Enumerable Sets in ∑₅‐Complete
• Isomorphism Types of Index Sets of Partial Recursive Functions
• Title not available (Why is that?)
• A Theorem on Recursively Enumerable Classes and Splinters
• Effective inseparability in a topological setting
• Title not available (Why is that?)
• Title not available (Why is that?)
• On recursive enumerability with finite repetitions
• A representation of recursively enumerable sets through Horn formulas in higher recursion theory
• The Family of all Recursively Enumerable Classes of Finite Sets
• Recursively enumerable sets and degrees
• Title not available (Why is that?)
• The divisibility of isols by powers of primes
• Title not available (Why is that?)
• Recursively enumerable classes and their application to recursive sequences of formal theories
• On completely recursively enumerable classes and their key arrays
• Bibliography of John Myhill
• The enumerability and invariance of complexity classes
• RECURSIVELY ENUMERABLE SETS AND WELL-ORDERING OF THEIR ENUMERATIONS
• On Creative Sets and Indices of Partial Recursive Functions
• Title not available (Why is that?)
• The classification of statistically recursive sets
• Complexity classes of partial recursive functions
• The basic theory of partial \(\alpha\)-recursive operators
• A new recursive theorem on \(n\)-extendibility

This page was built for publication: Some Theorems on Classes of Recursively Enumerable Sets

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