DSpace at KOASAS
College of Engineering(공과대학)School of Computing(전산학부)CS-Journal Papers(저널논문)

Singular coverings and non-uniform notions of closed set computability

Cited 13 time in webofscience Cited 16 time in scopus
  • Hit : 533
  • Download : 0
Export
DC FieldValueLanguage
dc.contributor.authorLe Roux, Stephaneko
dc.contributor.authorZiegler, Martinko
dc.date.accessioned2016-04-12T07:51:56Z-
dc.date.available2016-04-12T07:51:56Z-
dc.date.created2015-09-17-
dc.date.created2015-09-17-
dc.date.issued2008-
dc.identifier.citationMATHEMATICAL LOGIC QUARTERLY, v.54, no.5, pp.545 - 560-
dc.identifier.issn0942-5616-
dc.identifier.urihttp://hdl.handle.net/10203/203396-
dc.description.abstractThe 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.languageEnglish-
dc.publisherWILEY-V C H VERLAG GMBH-
dc.subjectOUVERTS OU FERMES-
dc.subjectEFFECTIVE BOREL MEASURABILITY-
dc.subjectLEURS APPLICATIONS-
dc.subjectREAL FUNCTIONS-
dc.titleSingular coverings and non-uniform notions of closed set computability-
dc.typeArticle-
dc.identifier.wosid000259902500010-
dc.identifier.scopusid2-s2.0-55249105227-
dc.type.rimsART-
dc.citation.volume54-
dc.citation.issue5-
dc.citation.beginningpage545-
dc.citation.endingpage560-
dc.citation.publicationnameMATHEMATICAL LOGIC QUARTERLY-
dc.identifier.doi10.1002/malq.200610058-
dc.contributor.localauthorZiegler, Martin-
dc.contributor.nonIdAuthorLe Roux, Stephane-
dc.type.journalArticleArticle; Proceedings Paper-
dc.subject.keywordAuthorCo-r. e. closed sets-
dc.subject.keywordAuthornon-uniform computability-
dc.subject.keywordAuthorconnected component-
dc.subject.keywordPlusOUVERTS OU FERMES-
dc.subject.keywordPlusEFFECTIVE BOREL MEASURABILITY-
dc.subject.keywordPlusLEURS APPLICATIONS-
dc.subject.keywordPlusREAL FUNCTIONS-
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 13 items in WoS Click to see citing articles in records_button

Display Simple Item Record

qr_code

  • mendeley

    citeulike

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


rss_1.0 rss_2.0 atom_1.0