TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)

Cited in

(83)

Hierarchy of Computably Enumerable Degrees II
An extension of the nondiamond theorem in classical and α-recursion theory
The ∀∃-theory of ℛ(≤,∨,∧) is undecidable
Orbits of computably enumerable sets: Low sets can avoid an upper cone
The decision problem for recursively enumerable degrees
Call-by-value lambda calculus as a model of computation in Coq
As easy as \(\mathbb {Q}\): Hilbert's tenth problem for subrings of the rationals and number fields
The combinatorics of the splitting theorem
Extensions of Hilbert's tenth problem: definability and decidability in number theory
A theorem on minimal degrees
Undecidability and 1-types in the recursively enumerable degrees
The distribution of the generic recursively enumerable degrees
Initial segments of the degrees of unsolvability Part II: minimal degrees
Metarecursively enumerable sets and admissible ordinals
Recursively enumerable sets which are uniform for finite extensions
Collapsing degrees
Not every finite lattice is embeddable in the recursively enumerable degrees
The bounded injury priority method and the learnability of unions of rectangles
Pseudo-complements and ordinal logics based on consistency statements
Recursive Enumerability and the Jump Operator
A cornucopia of minimal degrees
On unstable and unoptimal prediction
Forcing and reducibilities
Recursively enumerable degress and the conjugacy problem
Resource bounded immunity and simplicity
A minimal degree less than 0’
On the structures inside truth-table degrees
On \(n\)-tardy sets
On a Problem of G. E. Sacks
Measure-theoretic construction of incomparable hyperdegrees
Finite injury and Σ₁-induction
On the Degrees of Index Sets
Classification of computably approximable real numbers
Non-p-generic and strongly nonbranching degree
Extensions of embeddings below computably enumerable degrees
On Reducibility by Recursive Functions
Computing degrees of unsolvability
Coding a family of sets
Things that can be made into themselves
Intervals containing exactly one c.e. degree
The minimum of two regressive isols
The typical constructible object
Computational processes, observers and Turing incompleteness
A Simple Set Which is Not Effectively Simple
European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991
Metarecursively enumerable sets and their metadegrees
On the cutting edge of relativization: The resource bounded injury method
Definable incompleteness and Friedberg splittings
An easy priority-free proof of a theorem of Friedberg
Naturalness in mathematics
The Quotient Semilattice of the Recursively Enumerable Degrees Modulo the Cappable Degrees
Ramsey's theorem and recursion theory
Bounding minimal degrees by computably enumerable degrees
Post's problem for ordinal register machines: an explicit approach
Turing oracle machines, online computing, and three displacements in computability theory
On the Turing degrees of minimal index sets
Is it harder to factor a polynomial or to find a root?
Splitting and nonsplitting, II: A low₂ c.e. degree above which 0′ is not splittable
Some remarks on witness functions for nonpolynomial and noncomplete sets in NP
Iterated priority arguments in descriptive set theory
Extending and interpreting Post's programme
A minimal pair of recursively enumerable degrees
Recursively enumerable sets and degrees
Incomparable prime ideals of recursively enumerable degrees
The post correspondence problem
Computational classification of cellular automata
Degree Structures: Local and Global Investigations
Lattice nonembeddings and intervals of the recursively enumerable degrees
La théorie des fonctions récursives et ses applications. (Exposé d'information générale)
THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME
Non-p-generic and strongly nonbranching degree
Combinatorial systems defined over one- and two-letter alphabets
A General Framework for Priority Arguments
There is no degree invariant half-jump
Definability in the Recursively Enumerable Degrees
On the reducibility of \(\Pi_ 1^ 1\) sets
Metarecursive sets
Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der Rekursiven Unlösbarkeit
Representation of one-one degrees by decision problems for system functions
On Lachlan's major sub-degree problem
An explicit solution to Post's problem over the reals
A pseudofundamental sequence that is not equivalent to any monotone sequence
The existential theory of the poset of R.E. degrees with a predicate for single jump reducibility

This page was built for publication: TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)

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