DC Field | Value | Language |
---|---|---|
dc.contributor.author | Pauly, Arno | ko |
dc.contributor.author | Ziegler, Martin A. | ko |
dc.date.accessioned | 2016-04-12T07:51:11Z | - |
dc.date.available | 2016-04-12T07:51:11Z | - |
dc.date.created | 2015-09-18 | - |
dc.date.created | 2015-09-18 | - |
dc.date.issued | 2013 | - |
dc.identifier.citation | Journal of Logic and Analysis, v.5, no.7, pp.1 - 39 | - |
dc.identifier.issn | 1759-9008 | - |
dc.identifier.uri | http://hdl.handle.net/10203/203389 | - |
dc.description.abstract | We are thus led to a concept of uniform continuity based on the Henkin quantifer and prove it necessary for relative computability of compact real relations. In fact iterating this condition yields a strict hierarchy of notions each necessary—and w-the level also sufficient— for relative computability. A refined, quantitative analysis exhibits a similar topological characterization of relative polynomialtime computability. | - |
dc.language | English | - |
dc.publisher | Association for Symbolic Logic | - |
dc.title | Relative computability and uniform continuity of relations | - |
dc.type | Article | - |
dc.type.rims | ART | - |
dc.citation.volume | 5 | - |
dc.citation.issue | 7 | - |
dc.citation.beginningpage | 1 | - |
dc.citation.endingpage | 39 | - |
dc.citation.publicationname | Journal of Logic and Analysis | - |
dc.identifier.doi | 10.4115/jla.2013.5.7 | - |
dc.contributor.localauthor | Ziegler, Martin A. | - |
dc.contributor.nonIdAuthor | Pauly, Arno | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.