Recursion Theory and Complexity
eBook - PDF

Recursion Theory and Complexity

  1. 247 pages
  2. English
  3. PDF
  4. Available on iOS & Android
eBook - PDF

Recursion Theory and Complexity

Book details
Table of contents
Citations

About This Book

The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students and research mathematicians, and may also serve as a guide for lectures and for seminars at the graduate level.

Frequently asked questions

Simply head over to the account section in settings and click on “Cancel Subscription” - it’s as simple as that. After you cancel, your membership will stay active for the remainder of the time you’ve paid for. Learn more here.
At the moment all of our mobile-responsive ePub books are available to download via the app. Most of our PDFs are also available to download and we're working on making the final remaining ones downloadable now. Learn more here.
Both plans give you full access to the library and all of Perlego’s features. The only differences are the price and subscription period: With the annual plan you’ll save around 30% compared to 12 months on the monthly plan.
We are an online textbook subscription service, where you can get access to an entire online library for less than the price of a single book per month. With over 1 million books across 1000+ topics, we’ve got you covered! Learn more here.
Look out for the read-aloud symbol on your next book to see if you can listen to it. The read-aloud tool reads text aloud for you, highlighting the text as it is being read. You can pause it, speed it up and slow it down. Learn more here.
Yes, you can access Recursion Theory and Complexity by Marat M. Arslanov, Steffen Lempp in PDF and/or ePUB format, as well as other popular books in Mathematik & Mathematik Allgemein. We have over one million books available in our catalogue for you to explore.

Information

Publisher
De Gruyter
Year
2014
ISBN
9783110807486

Table of contents

  1. I. Priority method in generalized computability
  2. D. Polynomial-time versus computable Boolean algebras
  3. R. The proof-theoretic strength of the Dushnik-Miller Theorem for countable linear orders
  4. V. Effectively nowhere simple relations on computable structures
  5. P. Jump traces with large gaps
  6. Weak recursive degrees and a problem of Spector
  7. Compositions of permutations and algorithmic reducibilities
  8. Some properties of majorant-computability
  9. Hyperarithmetical functions and algebraicity
  10. Weak presentations of fields not extendible to recursive presentations
  11. Jumps of ∑2 0-high e-degrees and properly ∑2 0 e-degrees
  12. Enumeration reducibility and the problem of the nontotal property of e-degrees
  13. Algebras of recursive functions
  14. ∑2 Induction and cuppable degrees
  15. Open problems
  16. List of talks
  17. List of contributors