Lowness properties and approximations of the jump
We study and compare two combinatorial lowness notions: strong jump-traceability and well-approximability of the jump, by strengthening the notion of jump-traceability and super-lowness for sets of natural numbers. A computable non-decreasing unbounded function h is called an order function. Informa...
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Artículo publishedVersion |
| Publicado: |
2008
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_01680072_v152_n1-3_p51_Figueira https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_01680072_v152_n1-3_p51_Figueira_oai |
| Aporte de: |
| id |
I28-R145-paper_01680072_v152_n1-3_p51_Figueira_oai |
|---|---|
| record_format |
dspace |
| spelling |
I28-R145-paper_01680072_v152_n1-3_p51_Figueira_oai2024-08-16 Figueira, S. Nies, A. Stephan, F. 2008 We study and compare two combinatorial lowness notions: strong jump-traceability and well-approximability of the jump, by strengthening the notion of jump-traceability and super-lowness for sets of natural numbers. A computable non-decreasing unbounded function h is called an order function. Informally, a set A is strongly jump-traceable if for each order function h, for each input e one may effectively enumerate a set Te of possible values for the jump JA (e), and the number of values enumerated is at most h (e). A′ is well-approximable if can be effectively approximated with less than h (x) changes at input x, for each order function h. We prove that there is a strongly jump-traceable set which is not computable, and that if A′ is well-approximable then A is strongly jump-traceable. For r.e. sets, the converse holds as well. We characterize jump-traceability and strong jump-traceability in terms of Kolmogorov complexity. We also investigate other properties of these lowness properties. © 2007 Elsevier B.V. All rights reserved. Fil:Figueira, S. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. application/pdf http://hdl.handle.net/20.500.12110/paper_01680072_v152_n1-3_p51_Figueira info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar Ann. Pure Appl. Logic 2008;152(1-3):51-66 ω-r.e. K-triviality Kolmogorov complexity Lowness Traceability Lowness properties and approximations of the jump info:eu-repo/semantics/article info:ar-repo/semantics/artículo info:eu-repo/semantics/publishedVersion https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_01680072_v152_n1-3_p51_Figueira_oai |
| institution |
Universidad de Buenos Aires |
| institution_str |
I-28 |
| repository_str |
R-145 |
| collection |
Repositorio Digital de la Universidad de Buenos Aires (UBA) |
| topic |
ω-r.e. K-triviality Kolmogorov complexity Lowness Traceability |
| spellingShingle |
ω-r.e. K-triviality Kolmogorov complexity Lowness Traceability Figueira, S. Nies, A. Stephan, F. Lowness properties and approximations of the jump |
| topic_facet |
ω-r.e. K-triviality Kolmogorov complexity Lowness Traceability |
| description |
We study and compare two combinatorial lowness notions: strong jump-traceability and well-approximability of the jump, by strengthening the notion of jump-traceability and super-lowness for sets of natural numbers. A computable non-decreasing unbounded function h is called an order function. Informally, a set A is strongly jump-traceable if for each order function h, for each input e one may effectively enumerate a set Te of possible values for the jump JA (e), and the number of values enumerated is at most h (e). A′ is well-approximable if can be effectively approximated with less than h (x) changes at input x, for each order function h. We prove that there is a strongly jump-traceable set which is not computable, and that if A′ is well-approximable then A is strongly jump-traceable. For r.e. sets, the converse holds as well. We characterize jump-traceability and strong jump-traceability in terms of Kolmogorov complexity. We also investigate other properties of these lowness properties. © 2007 Elsevier B.V. All rights reserved. |
| format |
Artículo Artículo publishedVersion |
| author |
Figueira, S. Nies, A. Stephan, F. |
| author_facet |
Figueira, S. Nies, A. Stephan, F. |
| author_sort |
Figueira, S. |
| title |
Lowness properties and approximations of the jump |
| title_short |
Lowness properties and approximations of the jump |
| title_full |
Lowness properties and approximations of the jump |
| title_fullStr |
Lowness properties and approximations of the jump |
| title_full_unstemmed |
Lowness properties and approximations of the jump |
| title_sort |
lowness properties and approximations of the jump |
| publishDate |
2008 |
| url |
http://hdl.handle.net/20.500.12110/paper_01680072_v152_n1-3_p51_Figueira https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_01680072_v152_n1-3_p51_Figueira_oai |
| work_keys_str_mv |
AT figueiras lownesspropertiesandapproximationsofthejump AT niesa lownesspropertiesandapproximationsofthejump AT stephanf lownesspropertiesandapproximationsofthejump |
| _version_ |
1809356998166183936 |