scientific article; zbMATH DE number 3304986

zbMATH Open0192.05204MaRDI QIDQ5586291FDOQ5586291

Authors: Joseph R. Shoenfield 

Publication date: 1965

Title of this publication is not available (Why is that?)

zbMATH Keywords

constructive mathematicsrecursion theory

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited In (13)

• Undecidability and 1-types in the recursively enumerable degrees
• The density of the nonbranching degrees
• A thread calculus with molecular dynamics
• Lattice embeddings below a nonlow\(_ 2\) recursively enumerable degree
• The Quotient Semilattice of the Recursively Enumerable Degrees Modulo the Cappable Degrees
• Recursively enumerable sets and degrees
• Incomparable prime ideals of recursively enumerable degrees
• Branching Degrees above low Degrees
• An Algebraic Decomposition of the Recursively Enumerable Degrees and the Coincidence of Several Degree Classes with the Promptly Simple Degrees
• Lattice nonembeddings and intervals of the recursively enumerable degrees
• The $\Pi _3$-theory of the computably enumerable Turing degrees is undecidable
• On Lachlan's major sub-degree problem
• The decision problem for recursively enumerable degrees

This page was built for publication:

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