{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:26:14Z","timestamp":1725891974082},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357213"},{"type":"electronic","value":"9783642357220"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35722-0_20","type":"book-chapter","created":{"date-parts":[[2013,1,4]],"date-time":"2013-01-04T11:16:29Z","timestamp":1357298189000},"page":"280-295","source":"Crossref","is-referenced-by-count":2,"title":["Separating the Fan Theorem and Its Weakenings"],"prefix":"10.1007","author":[{"given":"Robert S.","family":"Lubarsky","sequence":"first","affiliation":[]},{"given":"Hannes","family":"Diener","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Beeson, M.: Foundations of Constructive Mathematics. Springer (1985)","key":"20_CR1","DOI":"10.1007\/978-3-642-68952-9"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/11780342_4","volume-title":"Logical Approaches to Computational Barriers","author":"J. Berger","year":"2006","unstructured":"Berger, J.: The Logical Strength of the Uniform Continuity Theorem. In: Beckmann, A., Berger, U., L\u00f6we, B., Tucker, J.V. (eds.) CiE 2006. LNCS, vol.\u00a03988, pp. 35\u201339. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Berger, J.: A separation result for varieties of Brouwer\u2019s fan theorem. In: Proceedings of the 10th Asian Logic Conference (ALC 10), Kobe University in Kobe, Hyogo, Japan, September 1-6 (2008) (to appear)","key":"20_CR3","DOI":"10.1142\/9789814293020_0003"},{"unstructured":"Diener, H.: Compactness under constructive scrutiny. Ph.D. Thesis (2008)","key":"20_CR4"},{"issue":"1","key":"20_CR5","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/j.apal.2008.09.018","volume":"157","author":"H. Diener","year":"2009","unstructured":"Diener, H., Loeb, I.: Sequences of real functions on [0, 1] in constructive reverse mathematics. Annals of Pure and Applied Logic\u00a0157(1), 50\u201361 (2009)","journal-title":"Annals of Pure and Applied Logic"},{"key":"20_CR6","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/BFb0061823","volume-title":"Applications of Sheaves","author":"M. Fourman","year":"1979","unstructured":"Fourman, M., Hyland, J.: Sheaf models for analysis. In: Fourman, M., Mulvey, C., Scott, D. (eds.) Applications of Sheaves. Lecture Notes in Mathematics, vol.\u00a0753, pp. 280\u2013301. Springer, Heidelberg (1979)"},{"issue":"2","key":"20_CR7","doi-asserted-by":"publisher","first-page":"333","DOI":"10.2140\/pjm.1984.111.333","volume":"111","author":"W. Julian","year":"1984","unstructured":"Julian, W., Richman, F.: A uniformly continuous function on [0,1] that is everywhere different from its infimum. Pacific Journal of Mathematics\u00a0111(2), 333\u2013340 (1984)","journal-title":"Pacific Journal of Mathematics"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35722-0_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:24:25Z","timestamp":1620134665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35722-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642357213","9783642357220"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35722-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}