Fundamentals of generalized recursion theory

Fitting, M. (1981). Fundamentals of generalized recursion theory. North-Holland Publishing.

Type

Book

Intellectual base

Textbook

Year

1981

DOI

10.2307/2273928

Link

https://doi.org/10.2307/2273928

Cited by

1 citation across 1 artifact.

Domain-specific

• Forcing (computability)
  • Condition posets, extension direction and eligible dense sets vary with the construction; unlike set-theoretic forcing, the goal is usually a real or degree with controlled computability properties.

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:6a557aae083e · see in the full table