Nourani, Cyrus F.
Algebraic computability and enumeration models : - Canada CRC Press 2016 - xiv, 295 pages ; Illus.
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.
9781771882477 (hardcover : alk. paper)
Functor theory.
Model theory.
Computable functions.
Algebra, Homological.
Kleene algebra.
004.0151
Algebraic computability and enumeration models : - Canada CRC Press 2016 - xiv, 295 pages ; Illus.
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.
9781771882477 (hardcover : alk. paper)
Functor theory.
Model theory.
Computable functions.
Algebra, Homological.
Kleene algebra.
004.0151