DC Field | Value | Language |
---|---|---|
dc.contributor.author | Meer, Klaus | ko |
dc.contributor.author | Ziegler, Martin | ko |
dc.date.accessioned | 2016-04-12T07:51:50Z | - |
dc.date.available | 2016-04-12T07:51:50Z | - |
dc.date.created | 2015-09-17 | - |
dc.date.created | 2015-09-17 | - |
dc.date.issued | 2008-02 | - |
dc.identifier.citation | JOURNAL OF COMPLEXITY, v.24, no.1, pp.3 - 15 | - |
dc.identifier.issn | 0885-064X | - |
dc.identifier.uri | http://hdl.handle.net/10203/203395 | - |
dc.description.abstract | In the BSS model of real number computations we prove a concrete and explicit semi-decidable language to be undecidable yet not reducible from (and thus strictly easier than) the real Halting Language. This solution to Post's Problem over the reals significantly differs from its classical, discrete variant where advanced diagonalization techniques are only known to yield the existence of such intermediate Turing degrees. Then we strengthen the above result and show as well the existence of an uncountable number of incomparable semi-decidable Turing degrees below the real Halting Problem in the BSS model. Again, our proof will give concrete such problems representing these different degrees. Finally we show the corresponding result for the linear BSS model, that is over (R, +, -, <) rather than (R, +, -, x, divided by, <). (c) 2007 Elsevier Inc. All rights reserved. | - |
dc.language | English | - |
dc.publisher | ACADEMIC PRESS INC ELSEVIER SCIENCE | - |
dc.subject | COMPLEXITY CLASSES | - |
dc.subject | COMPUTATION | - |
dc.subject | ORDER | - |
dc.subject | SETS | - |
dc.title | An explicit solution to Post's Problem over the reals | - |
dc.type | Article | - |
dc.identifier.wosid | 000253592400002 | - |
dc.identifier.scopusid | 2-s2.0-38749118658 | - |
dc.type.rims | ART | - |
dc.citation.volume | 24 | - |
dc.citation.issue | 1 | - |
dc.citation.beginningpage | 3 | - |
dc.citation.endingpage | 15 | - |
dc.citation.publicationname | JOURNAL OF COMPLEXITY | - |
dc.identifier.doi | 10.1016/j.jco.2006.09.004 | - |
dc.contributor.localauthor | Ziegler, Martin | - |
dc.contributor.nonIdAuthor | Meer, Klaus | - |
dc.type.journalArticle | Article; Proceedings Paper | - |
dc.subject.keywordAuthor | recursion theory | - |
dc.subject.keywordAuthor | real computation | - |
dc.subject.keywordPlus | COMPLEXITY CLASSES | - |
dc.subject.keywordPlus | COMPUTATION | - |
dc.subject.keywordPlus | ORDER | - |
dc.subject.keywordPlus | SETS | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.