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...
Autor principal: | |
---|---|
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 |