Algebraic computability and enumeration models :
Material type:
- 9781771882477 (hardcover : alk. paper)
- 004.0151
Includes index.
Introduction -- Computing categories, language fragments, and models -- Functorial admissible models -- Initial tree computing and languages -- Descriptive sets and infinitary languages -- Complexity and computing -- Arithmetic hierarchy and enumeration degrees -- Peano arithmetic models and computability -- Realizability and computability.
There are no comments on this title.