Computing degrees of unsolvability

DOI10.1007/BF01342939zbMATH Open0086.01101OpenAlexW2913148016MaRDI QIDQ770790FDOQ770790

Authors: Hartley jun. Rogers 

Publication date: 1959

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/160704

zbMATH Keywords

philosophy and foundations of mathematics

Cites Work

• Title not available (Why is that?)
• On Computable Numbers, with an Application to the Entscheidungsproblem
• A Theorem on Hypersimple Sets
• Recursively enumerable sets of positive integers and their decision problems
• Reducibility and Completeness for Sets of Integers
• Recursive Predicates and Quantifiers
• On degrees of recursive unsolvability
• TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)
• The upper semi-lattice of degrees of recursive unsolvability
• Gödel numberings of partial recursive functions
• On definable sets of positive integers
• Creative sets
• Examples of sets definable by means of two and three quantifiers
• Degrees of Computability
• Arithmetical representation of recursively enumerable sets

Cited In (15)

• Elementary Differences Between the Isols and the Co-Simple Isols
• On the Degrees of Index Sets
• Calculable enumerations and equivalence relations
• The use of lists in the study of undecidable problems in automata theory
• Kleene index sets and functional m-degrees
• Title not available (Why is that?)
• The index sets of m-degrees
• Recursively enumerable sets and degrees
• There exists a maximal 3-c.e. enumeration degree
• Index sets and presentations of complexity classes
• Index sets related to prompt simplicity
• Constructive Analogues of the Group of Permutations of the Natural Numbers
• A discrete chain of degrees of index sets
• On index sets
• The Kleene Hierarchy Classification of Recursively Random Sequences

This page was built for publication: Computing degrees of unsolvability

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