{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:59:40Z","timestamp":1759147180493},"reference-count":25,"publisher":"Wiley","issue":"5","license":[{"start":{"date-parts":[[2008,8,27]],"date-time":"2008-08-27T00:00:00Z","timestamp":1219795200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2008,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The empty set of course contains no computable point. On the other hand, surprising results due to Zaslavski\u012d, Tse\u012dtin, Kreisel, and Lacombe have asserted the existence of non\u2010empty co\u2010r. e. closed sets devoid of computable points: sets which are even \u201clarge\u201d in the sense of positive Lebesgue measure.<\/jats:p><jats:p>This leads us to investigate for various classes of computable real subsets whether they always contain a (not necessarily effectively findable) computable point. (\u00a9 2008 WILEY\u2010VCH Verlag GmbH &amp; Co. KGaA, Weinheim)<\/jats:p>","DOI":"10.1002\/malq.200610058","type":"journal-article","created":{"date-parts":[[2008,8,27]],"date-time":"2008-08-27T09:57:26Z","timestamp":1219831046000},"page":"545-560","source":"Crossref","is-referenced-by-count":12,"title":["Singular coverings and non\u2010uniform notions of closed set computability"],"prefix":"10.1002","volume":"54","author":[{"given":"St\u00e9phane","family":"Le Roux","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Ziegler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2008,8,27]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"crossref","unstructured":"M. J.Beeson Foundations of Constructive Mathematics (Springer 1985).","DOI":"10.1007\/978-3-642-68952-9"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200310125"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00284-9"},{"key":"e_1_2_1_5_2","doi-asserted-by":"crossref","unstructured":"D.Cenzer andJ. B.Remmel \u03a001classes in mathematics. In: Handbook of Recursive Mathematics 2 (Y. L. Ershov S. S. Goncharov A. Nerode and J. B. Remmel eds.) pp. 623\u2013821 (Elsevier 1998).","DOI":"10.1016\/S0049-237X(98)80046-3"},{"key":"e_1_2_1_6_2","doi-asserted-by":"crossref","unstructured":"X.Ge andA.Nerode On extreme points of convex compact Turing located sets. In: Logical Foundations of Computer Science. Lecture Notes in Computer Science 813 pp. 114\u2013128 (Springer 1994).","DOI":"10.1007\/3-540-58140-5_12"},{"key":"e_1_2_1_7_2","doi-asserted-by":"crossref","unstructured":"G.Gherardi An analysis of the lemmas of Urysohn and Urysohn\u2010Tietze according to effective Borel measurability. In: Proc. 2nd Conference on Computability in Europe (CiE'06). Lecture Notes in Computer Science 3988 pp. 199\u2013208 (Springer 2006).","DOI":"10.1007\/11780342_22"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00098-X"},{"key":"e_1_2_1_9_2","doi-asserted-by":"crossref","unstructured":"A. S.Kechris Classical Descriptive Set Theory (Springer 1995).","DOI":"10.1007\/978-1-4612-4190-4"},{"key":"e_1_2_1_10_2","first-page":"1106","article-title":"Ensembles r\u00e9cursivement measurables et ensembles r\u00e9cursivement ouverts ou ferm\u00e9s","volume":"245","author":"Kreisel G.","year":"1957","journal-title":"Compt. Rend. Acad. des Sci. Paris"},{"key":"e_1_2_1_11_2","unstructured":"K.Kuratowski Topology Vol. II (Academic Press 1968)."},{"key":"e_1_2_1_12_2","unstructured":"B.Kushner Lectures on Constructive Mathematical Analysis 60 (American Mathematical Society 1984)."},{"key":"e_1_2_1_13_2","first-page":"1040","article-title":"Les ensembles r\u00e9cursivement ouverts ou ferm\u00e9s, et leurs applications \u00e0 l'analyse r\u00e9cursive I","volume":"245","author":"Lacombe D.","year":"1957","journal-title":"Compt. Rend. Acad. des Sci. Paris"},{"key":"e_1_2_1_14_2","first-page":"28","article-title":"Les ensembles r\u00e9cursivement ouverts ou ferm\u00e9s, et leurs applications \u00e0 l'analyse r\u00e9cursive II","volume":"246","author":"Lacombe D.","year":"1958","journal-title":"Compt. Rend. Acad. des Sci. Paris"},{"key":"e_1_2_1_15_2","unstructured":"G.Lagnese Can someone give me an example of \u2026. In: Usenet. Seehttp:\/\/cs.nyu.edu\/pipermail\/fom\/2006\u2010February\/009835.html."},{"key":"e_1_2_1_16_2","unstructured":"J. S.Miller \u03a001classes in computable analysis and topology. Ph. D. thesis Cornell University Ithaca USA (2002)."},{"key":"e_1_2_1_17_2","unstructured":"W.Morris(ed.) American Heritage Dictionary of the English Language (American Heritage Publishing 1969)."},{"key":"e_1_2_1_18_2","unstructured":"E.Specker Der Satz vom Maximum in der rekursiven Analysis. In: Constructivity in Mathematics (A. Heyting ed.). Studies in Logic and the Foundations of Mathematics pp. 254\u2013265 (North\u2010Holland 1959)."},{"key":"e_1_2_1_19_2","doi-asserted-by":"crossref","unstructured":"B.von Querenburg Mengentheoretische Topologie (Springer 1979).","DOI":"10.1007\/978-3-642-96547-0"},{"key":"e_1_2_1_20_2","doi-asserted-by":"crossref","unstructured":"R. I.Soare Recursively Enumerable Sets and Degrees (Springer 1987).","DOI":"10.1007\/978-3-662-02460-7"},{"key":"e_1_2_1_21_2","doi-asserted-by":"crossref","unstructured":"K.Weihrauch Computable Analysis (Springer 2000).","DOI":"10.1007\/978-3-642-56999-9"},{"key":"e_1_2_1_22_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00045-0"},{"issue":"2","key":"e_1_2_1_23_2","first-page":"458","article-title":"On singular coverings and related properties of constructive functions","volume":"67","author":"Zaslavski\u012d I. D.","year":"1962","journal-title":"Trudy Mat. Inst. Steklov."},{"key":"e_1_2_1_24_2","unstructured":"X.Zheng Personal communication (June 21 2007)."},{"key":"e_1_2_1_25_2","doi-asserted-by":"publisher","DOI":"10.1002\/1521-3870(200101)47:1<51::AID-MALQ51>3.0.CO;2-W"},{"key":"e_1_2_1_26_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200310107"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.200610058","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.200610058","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,14]],"date-time":"2023-09-14T00:05:43Z","timestamp":1694649943000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.200610058"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8,27]]},"references-count":25,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2008,9]]}},"alternative-id":["10.1002\/malq.200610058"],"URL":"https:\/\/doi.org\/10.1002\/malq.200610058","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,8,27]]}}}