Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article

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

zbMATH Open0498.03033MaRDI QIDQ3962986FDOQ3962986

David Miller

Publication date: 1981



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




zbMATH Keywords

anti-cupping propertyanti-cupping witness


Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30)



Cited In (14)

  • Cupping computably enumerable degrees simultaneously
  • Splitting theorems in recursion theory
  • Cupping and noncupping in the enumeration degrees of \(\Sigma_ 2^ 0\) sets
  • The d.r.e. degrees are not dense
  • Elementary differences among jump classes
  • Joining to High Degrees
  • Intervals containing exactly one c.e. degree
  • Turing computability: structural theory
  • \(\Sigma_ 5\)-completeness of index sets arising from the recursively enumerable Turing degrees
  • CUPPING AND JUMP CLASSES IN THE COMPUTABLY ENUMERABLE DEGREES
  • Upper bounds on ideals in the computably enumerable Turing degrees
  • Tracing and domination in the Turing degrees
  • A non-splitting theorem for d.r.e. sets
  • Strong noncuppability in low computably 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 Q3962986)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3962986&oldid=17668743"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 6 February 2024, at 00:05. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki