DC Field | Value | Language |
---|---|---|
dc.contributor.author | Le Roux, Stephane | ko |
dc.contributor.author | Ziegler, Martin | ko |
dc.date.accessioned | 2016-04-12T07:51:56Z | - |
dc.date.available | 2016-04-12T07:51:56Z | - |
dc.date.created | 2015-09-17 | - |
dc.date.created | 2015-09-17 | - |
dc.date.issued | 2008 | - |
dc.identifier.citation | MATHEMATICAL LOGIC QUARTERLY, v.54, no.5, pp.545 - 560 | - |
dc.identifier.issn | 0942-5616 | - |
dc.identifier.uri | http://hdl.handle.net/10203/203396 | - |
dc.description.abstract | The empty set of course contains no computable point. On the other hand, surprising results due to Zaslavskii, Tseitin. Kreisel, and Lacombe have asserted the existence of non-empty co-r. e. closed sets devoid of computable points: sets which are even "large" in the sense of positive Lebesgue Measure. This leads us to investigate for various classes of computable real subsets whether they always contain a (not necessarily effectively findable) computable point. (C) WILEY-VCH Verlag GmbH Co. KGaA, Weinheim | - |
dc.language | English | - |
dc.publisher | WILEY-V C H VERLAG GMBH | - |
dc.subject | OUVERTS OU FERMES | - |
dc.subject | EFFECTIVE BOREL MEASURABILITY | - |
dc.subject | LEURS APPLICATIONS | - |
dc.subject | REAL FUNCTIONS | - |
dc.title | Singular coverings and non-uniform notions of closed set computability | - |
dc.type | Article | - |
dc.identifier.wosid | 000259902500010 | - |
dc.identifier.scopusid | 2-s2.0-55249105227 | - |
dc.type.rims | ART | - |
dc.citation.volume | 54 | - |
dc.citation.issue | 5 | - |
dc.citation.beginningpage | 545 | - |
dc.citation.endingpage | 560 | - |
dc.citation.publicationname | MATHEMATICAL LOGIC QUARTERLY | - |
dc.identifier.doi | 10.1002/malq.200610058 | - |
dc.contributor.localauthor | Ziegler, Martin | - |
dc.contributor.nonIdAuthor | Le Roux, Stephane | - |
dc.type.journalArticle | Article; Proceedings Paper | - |
dc.subject.keywordAuthor | Co-r. e. closed sets | - |
dc.subject.keywordAuthor | non-uniform computability | - |
dc.subject.keywordAuthor | connected component | - |
dc.subject.keywordPlus | OUVERTS OU FERMES | - |
dc.subject.keywordPlus | EFFECTIVE BOREL MEASURABILITY | - |
dc.subject.keywordPlus | LEURS APPLICATIONS | - |
dc.subject.keywordPlus | REAL FUNCTIONS | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.