Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

scientific article; zbMATH DE number 3304986

From MaRDI portal
Publication:5586291
Jump to:navigation, search

zbMath0192.05204MaRDI QIDQ5586291

J. R. Shoenfield

Publication date: 1965


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

constructive mathematicsrecursion theory


Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)


Related Items

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



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5586291&oldid=30220598"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 7 March 2024, at 04:48.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki