Cargando…

Recursion-theoretic hierarchies

The theory set out in this book results from the meeting of descriptive set theory and recursion theory.

Detalles Bibliográficos
Autor principal: Hinman, Peter G
Lenguaje:eng
Publicado: Cambridge University Press 2017
Materias:
Acceso en línea:http://cds.cern.ch/record/2269590
_version_ 1780954760461942784
author Hinman, Peter G
author_facet Hinman, Peter G
author_sort Hinman, Peter G
collection CERN
description The theory set out in this book results from the meeting of descriptive set theory and recursion theory.
id cern-2269590
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2017
publisher Cambridge University Press
record_format invenio
spelling cern-22695902021-04-21T19:10:41Zhttp://cds.cern.ch/record/2269590engHinman, Peter GRecursion-theoretic hierarchiesMathematical Physics and MathematicsThe theory set out in this book results from the meeting of descriptive set theory and recursion theory.Cambridge University Pressoai:cds.cern.ch:22695902017
spellingShingle Mathematical Physics and Mathematics
Hinman, Peter G
Recursion-theoretic hierarchies
title Recursion-theoretic hierarchies
title_full Recursion-theoretic hierarchies
title_fullStr Recursion-theoretic hierarchies
title_full_unstemmed Recursion-theoretic hierarchies
title_short Recursion-theoretic hierarchies
title_sort recursion-theoretic hierarchies
topic Mathematical Physics and Mathematics
url http://cds.cern.ch/record/2269590
work_keys_str_mv AT hinmanpeterg recursiontheoretichierarchies