{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T15:10:11Z","timestamp":1751037011004,"version":"3.41.0"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319720555"},{"type":"electronic","value":"9783319720562"}],"license":[{"start":{"date-parts":[[2017,11,28]],"date-time":"2017-11-28T00:00:00Z","timestamp":1511827200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-72056-2_15","type":"book-chapter","created":{"date-parts":[[2017,11,27]],"date-time":"2017-11-27T09:33:31Z","timestamp":1511775211000},"page":"242-255","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Separating the Fan Theorem and Its Weakenings II"],"prefix":"10.1007","author":[{"given":"Robert S.","family":"Lubarsky","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,28]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of Constructive Mathematics","author":"M Beeson","year":"1985","unstructured":"Beeson, M.: Foundations of Constructive Mathematics. Springer, Heidelberg (1985)"},{"key":"15_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. 3988, pp. 35\u201339. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11780342_4"},{"key":"15_CR3","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, 1\u20136 September 2008, pp. 85\u201392 (2010)","DOI":"10.1142\/9789814293020_0003"},{"issue":"1","key":"15_CR4","doi-asserted-by":"crossref","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. Ann. Pure Appl. Logic 157(1), 50\u201361 (2009)","journal-title":"Ann. Pure Appl. Logic"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Diener, H., Lubarsky, R.: Notions of cauchyness and metastability. In: Artemov, S., Nerode, A. (eds.) Symposium on Logical Foundations in Computer Science 2018, LNCS. Springer, Heidelberg (2018, to appear)","DOI":"10.1007\/978-3-319-72056-2_9"},{"key":"15_CR6","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/BFb0061823","volume-title":"Applications of Sheaves","author":"MP Fourman","year":"1979","unstructured":"Fourman, M.P., Hyland, J.M.E.: Sheaf models for analysis. In: Fourman, M., Mulvey, C., Scott, D. (eds.) Applications of Sheaves. LNM, vol. 753, pp. 280\u2013301. Springer, Heidelberg (1979). https:\/\/doi.org\/10.1007\/BFb0061823"},{"key":"15_CR7","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/BFb0061824","volume-title":"Applications of Sheaves","author":"MP Fourman","year":"1979","unstructured":"Fourman, M.P., Scott, D.S.: Sheaves and logic. In: Fourman, M., Mulvey, C., Scott, D. (eds.) Applications of Sheaves. LNM, vol. 753, pp. 302\u2013401. Springer, Heidelberg (1979). https:\/\/doi.org\/10.1007\/BFb0061824"},{"key":"15_CR8","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1016\/j.apal.2005.05.021","volume":"137","author":"N Gambino","year":"2006","unstructured":"Gambino, N.: Heyting-valued interpretations for Constructive Set Theory. Ann. Pure Appl. Logic 137, 164\u2013188 (2006)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"15_CR9","doi-asserted-by":"crossref","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. Pac. J. Math. 111(2), 333\u2013340 (1984)","journal-title":"Pac. J. Math."},{"key":"15_CR10","doi-asserted-by":"crossref","first-page":"792","DOI":"10.1017\/jsl.2014.9","volume":"79","author":"R Lubarsky","year":"2014","unstructured":"Lubarsky, R., Diener, H.: Separating the Fan Theorem and its weakenings. J. Symbolic Logic 79, 792\u2013813 (2014)","journal-title":"J. Symbolic Logic"},{"key":"15_CR11","volume-title":"Realizability: An Introduction to its Categorical Side","author":"J Oosten van","year":"2008","unstructured":"van Oosten, J.: Realizability: An Introduction to its Categorical Side. Elsevier, Amsterdam (2008)"},{"key":"15_CR12","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics, Vol. 2. In: Studies in Logic, vol. 123, Elsevier (1988)"}],"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-319-72056-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T14:41:55Z","timestamp":1751035315000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72056-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,28]]},"ISBN":["9783319720555","9783319720562"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72056-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017,11,28]]}}}