Cargando…
Recursion-theoretic hierarchies
The theory set out in this book results from the meeting of descriptive set theory and recursion theory.
Autor principal: | |
---|---|
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 |