Publication:5586291
From MaRDI portal
zbMath0192.05204MaRDI QIDQ5586291
Publication date: 1965
03-XX: Mathematical logic and foundations
Related Items
The Quotient Semilattice of the Recursively Enumerable Degrees Modulo the Cappable Degrees, Undecidability and 1-types in the recursively enumerable degrees, Incomparable prime ideals of recursively enumerable degrees, On Lachlan's major sub-degree problem, A thread calculus with molecular dynamics, The density of the nonbranching degrees, Lattice nonembeddings and intervals of the recursively enumerable degrees, Lattice embeddings below a nonlow\(_ 2\) recursively enumerable degree, An Algebraic Decomposition of the Recursively Enumerable Degrees and the Coincidence of Several Degree Classes with the Promptly Simple Degrees, Branching Degrees above low Degrees, The decision problem for recursively enumerable degrees, Recursively enumerable sets and degrees, The $\Pi _3$-theory of the computably enumerable Turing degrees is undecidable