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

Limits on jump inversion for strong reducibilities

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

DOI10.2178/jsl/1318338849zbMath1248.03062OpenAlexW2104329043MaRDI QIDQ3107354

Keng Meng Ng, Barbara F. Csima, Rodney G. Downey

Publication date: 23 December 2011

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.148.8874


zbMATH Keywords

jump inversionstrong reducibilities


Mathematics Subject Classification ID

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


Related Items

Bounded low and high sets ⋮ Bounded-low sets and the high/low hierarchy ⋮ A bounded jump for the bounded Turing degrees ⋮ Effective domination and the bounded jump



Cites Work

  • Unnamed Item
  • Density of a final segment of the truth-table degrees
  • Classification of degree classes associated with r.e. subspaces
  • Jump restricted interpolation in the recursively enumerable degrees
  • On degrees of unsolvability
  • Recursive Enumerability and the Jump Operator
  • Recursively enumerable sets of positive integers and their decision problems
Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3107354&oldid=16186108"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 3 February 2024, at 22:50.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki