Cargando…

Degree spectra of relations on a cone

Let \mathcal A be a mathematical structure with an additional relation R. The author is interested in the degree spectrum of R, either among computable copies of \mathcal A when (\mathcal A,R) is a "natural" structure, or (to make this rigorous) among copies of (\mathcal A,R) computable in...

Descripción completa

Detalles Bibliográficos
Autor principal: Harrison-Trainor, Matthew
Lenguaje:eng
Publicado: American Mathematical Society 2018
Materias:
Acceso en línea:http://cds.cern.ch/record/2635387
_version_ 1780959821106774016
author Harrison-Trainor, Matthew
author_facet Harrison-Trainor, Matthew
author_sort Harrison-Trainor, Matthew
collection CERN
description Let \mathcal A be a mathematical structure with an additional relation R. The author is interested in the degree spectrum of R, either among computable copies of \mathcal A when (\mathcal A,R) is a "natural" structure, or (to make this rigorous) among copies of (\mathcal A,R) computable in a large degree d. He introduces the partial order of degree spectra on a cone and begin the study of these objects. Using a result of Harizanov--that, assuming an effectiveness condition on \mathcal A and R, if R is not intrinsically computable, then its degree spectrum contains all c.e. degrees--the author shows that there is a minimal non-trivial degree spectrum on a cone, consisting of the c.e. degrees.
id cern-2635387
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2018
publisher American Mathematical Society
record_format invenio
spelling cern-26353872021-04-21T18:43:46Zhttp://cds.cern.ch/record/2635387engHarrison-Trainor, MatthewDegree spectra of relations on a coneMathematical Physics and MathematicsLet \mathcal A be a mathematical structure with an additional relation R. The author is interested in the degree spectrum of R, either among computable copies of \mathcal A when (\mathcal A,R) is a "natural" structure, or (to make this rigorous) among copies of (\mathcal A,R) computable in a large degree d. He introduces the partial order of degree spectra on a cone and begin the study of these objects. Using a result of Harizanov--that, assuming an effectiveness condition on \mathcal A and R, if R is not intrinsically computable, then its degree spectrum contains all c.e. degrees--the author shows that there is a minimal non-trivial degree spectrum on a cone, consisting of the c.e. degrees.American Mathematical Societyoai:cds.cern.ch:26353872018
spellingShingle Mathematical Physics and Mathematics
Harrison-Trainor, Matthew
Degree spectra of relations on a cone
title Degree spectra of relations on a cone
title_full Degree spectra of relations on a cone
title_fullStr Degree spectra of relations on a cone
title_full_unstemmed Degree spectra of relations on a cone
title_short Degree spectra of relations on a cone
title_sort degree spectra of relations on a cone
topic Mathematical Physics and Mathematics
url http://cds.cern.ch/record/2635387
work_keys_str_mv AT harrisontrainormatthew degreespectraofrelationsonacone