Classical Recursion Theory

Odifreddi, P. (1989). Classical Recursion Theory.

Type

Book

Intellectual base

Review or monograph

Year

1989

DOI

10.1016/s0049-237x(08)70207-9

Link

https://doi.org/10.1016/s0049-237x(08)70207-9

Cited by

2 citations across 2 artifacts.

Domain-specific

• Cylindrification
  • Odifreddi gives the surrounding recursion-theoretic apparatus for pairing, indices, and reducibilities.
• Index set (computability)
  • Extensional invariance makes nontrivial index sets subject to Rice-style undecidability, while arithmetical-hierarchy complexity depends on the semantic property and the fixed acceptable numbering.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:f9f7ef246bf0 · see in the full table