rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Algebraic computability and enumeration models
    sub title: recursion theory and descriptive complexity
  name:
    name part: Nourani, Cyrus F.
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: Taylor & Francis
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  origin info:
    place:
      place term: flu
    date issued: 2016
    copyright date: 2016
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource : text file, PDF
  abstract: This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity, presents new techniques with functorial models to address important areas on pure mathematics and computability theory from the algebraic viewpoint. The reader is first introduced to categories and functorial models, with Kleene algebra examples for languages. Functorial models for Peano arithmetic are described toward important computational complexity areas on a Hilbert program, leading to computability with initial models. Infinite language categories are also introduced to explain descri.
  table of contents: 1. Introduction -- 2. Computing categories, language fragments, and models -- 3. Functorial admissible models -- 4. Initial tree computing and languages -- 5. Descriptive sets and infinitary languages -- 6. Complexity and computing -- 7. Arithmetic hierarchy and enumeration degrees -- 8. Peano arithmetic models and computability -- 9. Realizability and computability.
  note: Cyrus F. Nourani, PhD.
  note: Includes bibliographical references and index.
  subject:
    topic: Functor theory
  subject:
    topic: Model theory
  subject:
    topic: Computable functions
  subject:
    topic: Algebra, Homological
  subject:
    topic: Kleene algebra
  subject:
    topic: Théorie des foncteurs
  subject:
    topic: Théorie des modèles
  subject:
    topic: Fonctions calculables
  subject:
    topic: Algèbre homologique
  subject:
    topic: Algèbre de Kleene
  subject:
    topic: Algebra, Homological
  subject:
    topic: Computable functions
  subject:
    topic: Functor theory
  subject:
    topic: Kleene algebra
  subject:
    topic: Model theory
  classification: QA169 .N68 2016
  classification: 511.35 N931
  identifier: 9781771882484
  identifier: 1771882484
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: CRCPR
    record creation date: 160506
    record change date: 20250728184632.8
    record identifier: in00005652921
    language of cataloging:
      language term: eng