Computable one-to-one enumerations of effective domains
DOI10.1016/0890-5401(90)90032-DzbMATH Open0691.68053OpenAlexW2060902871MaRDI QIDQ582908FDOQ582908
Authors: Dieter Spreen 
Publication date: 1990
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0890-5401(90)90032-d
Recommendations
- scientific article; zbMATH DE number 4079405
- Effective domains and concrete computability: A survey
- Computability by means of effectively definable schemes and definability via enumerations
- Characterization of the effective computability in \({\mathfrak f}\)-enumerations
- Towards computability over effectively enumerable topological spaces
- Enumerations in computable structure theory
- Computability and totality in domains
- Computable elements and functions in effectively enumerable topological spaces
- On computably enumerable structures
- Some applications of computable one-one numberings
Data structures (68P05) Decidability of theories and sets of sentences (03B25) Recursively (computably) enumerable sets and degrees (03D25) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Recursive functions and relations, subrecursive hierarchies (03D20)
Cites Work
- Title not available (Why is that?)
- Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
- Title not available (Why is that?)
- Title not available (Why is that?)
- The independence of control structures in abstract programming systems
- A connotational theory of program structure
- Effectively given domains
- Computability concepts for programming language semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Decomposition of Gödelnumberings into Friedbergnumberings
- Title not available (Why is that?)
- Theorie der Numerierungen I
- Title not available (Why is that?)
- Computability theory in admissible domains
- Godel Numberings Versus Friedberg Numberings
Cited In (5)
This page was built for publication: Computable one-to-one enumerations of effective domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q582908)
