{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T02:40:32Z","timestamp":1777516832372,"version":"3.51.4"},"reference-count":13,"publisher":"SAGE Publications","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["COM"],"published-print":{"date-parts":[[2020,8,3]]},"DOI":"10.3233\/com-190247","type":"journal-article","created":{"date-parts":[[2020,7,3]],"date-time":"2020-07-03T13:20:47Z","timestamp":1593782447000},"page":"315-326","source":"Crossref","is-referenced-by-count":3,"title":["A constructive proof of the dense existence of nowhere-differentiable functions in C [ 0 , 1 ]"],"prefix":"10.1177","volume":"9","author":[{"given":"Takako","family":"Nemoto","sequence":"first","affiliation":[{"name":"Department of Architectural Design, Faculty of Environmental Study, Hiroshima Institute of Technology, Japan. nemototakako@gmail.com"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","reference":[{"key":"10.3233\/COM-190247_ref1","doi-asserted-by":"publisher","first-page":"174","DOI":"10.4064\/sm-3-1-174-179","article-title":"\u00dcber die Baire\u2019sche Kategorie gewisser Funktionenmengen","volume":"3","author":"Banach","year":"1931","journal-title":"Studia Mathematica"},{"key":"10.3233\/COM-190247_ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-018-0627-2"},{"key":"10.3233\/COM-190247_ref3","unstructured":"E.\u00a0Bishop, Foundations of Constructive Analysis, McGraw-Hill, New York, 1967."},{"key":"10.3233\/COM-190247_ref4","doi-asserted-by":"crossref","unstructured":"V.\u00a0Brattka, Computable versions of Baire\u2019s category theorem, in: Mathematical Foundations of Computer Science 2001. MFCS 2001, J.\u00a0Sgall, A.\u00a0Pultr and P.\u00a0Kolman, eds, Lecture Notes in Computer Science, Vol.\u00a02136, Springer, Berlin, Heidelberg, 2001.","DOI":"10.1007\/3-540-44683-4_20"},{"key":"10.3233\/COM-190247_ref5","doi-asserted-by":"publisher","first-page":"557","DOI":"10.2307\/2275219","article-title":"The Baire category theorem in weak subsystem of second-order-arithmetic","volume":"58","author":"Brown","year":"1993","journal-title":"the Journal of Symbolic Logic"},{"key":"10.3233\/COM-190247_ref6","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198566519.003.0016"},{"key":"10.3233\/COM-190247_ref7","doi-asserted-by":"publisher","first-page":"1354","DOI":"10.2178\/jsl\/1230396924","article-title":"A continuity principle, a version of Baire\u2019s theorem and a boundedness principle","volume":"73","author":"Ishihara","year":"2008","journal-title":"J. Symbolic Logic"},{"key":"10.3233\/COM-190247_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-019-00704-8"},{"key":"10.3233\/COM-190247_ref10","doi-asserted-by":"crossref","unstructured":"J.C.\u00a0Oxtoby, Measure and Category, Springer-Verlag, New York, 1971.","DOI":"10.1007\/978-1-4615-9964-7"},{"key":"10.3233\/COM-190247_ref11","doi-asserted-by":"crossref","unstructured":"S.G.\u00a0Simpson, Subsystems of Second Order Arithmetic, 2nd edn, Cambridge University Press, 2009.","DOI":"10.1017\/CBO9780511581007"},{"issue":"1","key":"10.3233\/COM-190247_ref12","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1215\/00294527-2377887","article-title":"Baire categoricity and \u03a3 1 0 -induction","volume":"55","author":"Simpson","year":"2014","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.3233\/COM-190247_ref13","unstructured":"A.S.\u00a0Troelstra and D.\u00a0van Dalen, Constructivism in Mathematics, Vol. I and II, North-Holland, Amsterdam, 1988."},{"key":"10.3233\/COM-190247_ref14","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1002\/malq.201200047","article-title":"On the strength of Ramsey theorem without \u03a3 1 0 -induction","volume":"19","author":"Yokoyama","year":"2013","journal-title":"Mathematical Logic Quaterly"}],"container-title":["Computability"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/COM-190247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T16:00:14Z","timestamp":1777392014000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/COM-190247"}},"subtitle":[],"editor":[{"given":"Vasco","family":"Brattka","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Damir D.","family":"Dzhafarov","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Alberto","family":"Marcone","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Arno","family":"Pauly","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2020,8,3]]},"references-count":13,"journal-issue":{"issue":"3-4"},"URL":"https:\/\/doi.org\/10.3233\/com-190247","relation":{},"ISSN":["2211-3576","2211-3568"],"issn-type":[{"value":"2211-3576","type":"electronic"},{"value":"2211-3568","type":"print"}],"subject":[],"published":{"date-parts":[[2020,8,3]]}}}