Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387477840> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W4387477840 endingPage "32" @default.
- W4387477840 startingPage "1" @default.
- W4387477840 abstract "We call a sequence ( a n ) n of elements of a metric space nearly computably Cauchy if for every increasing computable function r : N → N the sequence ( d ( a r ( n + 1 ) , a r ( n ) ) ) n converges computably to 0. We show that there exists an increasing sequence of rational numbers that is nearly computably Cauchy and unbounded. Then we call a real number α nearly computable if there exists a computable sequence ( a n ) n of rational numbers that converges to α and is nearly computably Cauchy. It is clear that every computable real number is nearly computable, and it follows from a result by Downey and LaForte (Theoretical Computer Science 284 (2002) 539–555) that there exists a nearly computable and left-computable number that is not computable. We observe that the set of nearly computable real numbers is a real closed field and closed under computable real functions with open domain, but not closed under arbitrary computable real functions. Among other things we strengthen results by Hoyrup (Theory of Computing Systems 60 (2017) 396–420) and by Stephan and Wu (In New computational paradigms. First conference on computability in Europe, CiE 2005, Proceedings (2005) 461–469 Springer) by showing that any nearly computable real number that is not computable is weakly 1-generic (and, therefore, hyperimmune and not Martin-Löf random) and strongly Kurtz random (and, therefore, not K-trivial), and we strengthen a result by Downey and LaForte (Theoretical Computer Science 284 (2002) 539–555) by showing that no promptly simple set can be Turing reducible to a nearly computable real number." @default.
- W4387477840 created "2023-10-11" @default.
- W4387477840 creator A5002294022 @default.
- W4387477840 creator A5039739158 @default.
- W4387477840 date "2023-10-10" @default.
- W4387477840 modified "2023-10-16" @default.
- W4387477840 title "Nearly computable real numbers" @default.
- W4387477840 cites W1529179093 @default.
- W4387477840 cites W1566548053 @default.
- W4387477840 cites W1574049752 @default.
- W4387477840 cites W1579696469 @default.
- W4387477840 cites W1972481159 @default.
- W4387477840 cites W1976647442 @default.
- W4387477840 cites W1994458535 @default.
- W4387477840 cites W2007775665 @default.
- W4387477840 cites W2008273724 @default.
- W4387477840 cites W2019259942 @default.
- W4387477840 cites W2034673847 @default.
- W4387477840 cites W2037917663 @default.
- W4387477840 cites W2056105126 @default.
- W4387477840 cites W2087382793 @default.
- W4387477840 cites W2101323842 @default.
- W4387477840 cites W2110665728 @default.
- W4387477840 cites W2168616714 @default.
- W4387477840 cites W220096824 @default.
- W4387477840 cites W2559927126 @default.
- W4387477840 cites W3017124157 @default.
- W4387477840 cites W3166372913 @default.
- W4387477840 cites W4232277851 @default.
- W4387477840 cites W4243563333 @default.
- W4387477840 doi "https://doi.org/10.3233/com-230445" @default.
- W4387477840 hasPublicationYear "2023" @default.
- W4387477840 type Work @default.
- W4387477840 citedByCount "0" @default.
- W4387477840 crossrefType "journal-article" @default.
- W4387477840 hasAuthorship W4387477840A5002294022 @default.
- W4387477840 hasAuthorship W4387477840A5039739158 @default.
- W4387477840 hasConcept C114614502 @default.
- W4387477840 hasConcept C118615104 @default.
- W4387477840 hasConcept C134306372 @default.
- W4387477840 hasConcept C14036430 @default.
- W4387477840 hasConcept C152062344 @default.
- W4387477840 hasConcept C156382255 @default.
- W4387477840 hasConcept C198043062 @default.
- W4387477840 hasConcept C203192437 @default.
- W4387477840 hasConcept C27318111 @default.
- W4387477840 hasConcept C2778112365 @default.
- W4387477840 hasConcept C33923547 @default.
- W4387477840 hasConcept C46875033 @default.
- W4387477840 hasConcept C49344536 @default.
- W4387477840 hasConcept C54271186 @default.
- W4387477840 hasConcept C54355233 @default.
- W4387477840 hasConcept C78458016 @default.
- W4387477840 hasConcept C86803240 @default.
- W4387477840 hasConcept C94020503 @default.
- W4387477840 hasConceptScore W4387477840C114614502 @default.
- W4387477840 hasConceptScore W4387477840C118615104 @default.
- W4387477840 hasConceptScore W4387477840C134306372 @default.
- W4387477840 hasConceptScore W4387477840C14036430 @default.
- W4387477840 hasConceptScore W4387477840C152062344 @default.
- W4387477840 hasConceptScore W4387477840C156382255 @default.
- W4387477840 hasConceptScore W4387477840C198043062 @default.
- W4387477840 hasConceptScore W4387477840C203192437 @default.
- W4387477840 hasConceptScore W4387477840C27318111 @default.
- W4387477840 hasConceptScore W4387477840C2778112365 @default.
- W4387477840 hasConceptScore W4387477840C33923547 @default.
- W4387477840 hasConceptScore W4387477840C46875033 @default.
- W4387477840 hasConceptScore W4387477840C49344536 @default.
- W4387477840 hasConceptScore W4387477840C54271186 @default.
- W4387477840 hasConceptScore W4387477840C54355233 @default.
- W4387477840 hasConceptScore W4387477840C78458016 @default.
- W4387477840 hasConceptScore W4387477840C86803240 @default.
- W4387477840 hasConceptScore W4387477840C94020503 @default.
- W4387477840 hasLocation W43874778401 @default.
- W4387477840 hasOpenAccess W4387477840 @default.
- W4387477840 hasPrimaryLocation W43874778401 @default.
- W4387477840 hasRelatedWork W1533694441 @default.
- W4387477840 hasRelatedWork W1577501449 @default.
- W4387477840 hasRelatedWork W197714092 @default.
- W4387477840 hasRelatedWork W2007775665 @default.
- W4387477840 hasRelatedWork W2150482238 @default.
- W4387477840 hasRelatedWork W2295875602 @default.
- W4387477840 hasRelatedWork W2962816983 @default.
- W4387477840 hasRelatedWork W4317672154 @default.
- W4387477840 hasRelatedWork W4387477840 @default.
- W4387477840 hasRelatedWork W2527631632 @default.
- W4387477840 isParatext "false" @default.
- W4387477840 isRetracted "false" @default.
- W4387477840 workType "article" @default.