Skip to main content
SpringerLink
Log in

Finite Injury (Friedberg-Muchnik Theorem)

  • Chapter
  • First Online:
Algorithms for Constructing Computably Enumerable Sets

Part of the book series: Computer Science Foundations and Applied Logic ((CSFAL))

  • 175 Accesses

Abstract

The Kleene-Post construction of Chap. 5 is enhanced with the idea of priorities introduced in Chap. 4, along with a key new idea: injury.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 64.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    We use this notation, namely \(D_s\) to denote a constructed set D at the start of stage s, from here until the end of this book.

  2. 2.

    In other words, our witness may be tampered with.

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, The Ohio State University, Columbus, OH, USA

    Kenneth J. Supowit

Authors
  1. Kenneth J. Supowit
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Supowit, K.J. (2023). Finite Injury (Friedberg-Muchnik Theorem). In: Algorithms for Constructing Computably Enumerable Sets. Computer Science Foundations and Applied Logic. Birkhäuser, Cham. https://doi.org/10.1007/978-3-031-26904-2_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-26904-2_7

  • Published:

  • Publisher Name: Birkhäuser, Cham

  • Print ISBN: 978-3-031-26903-5

  • Online ISBN: 978-3-031-26904-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation