{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,9]],"date-time":"2026-02-09T00:15:59Z","timestamp":1770596159406,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642308697","type":"print"},{"value":"9783642308703","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30870-3_7","type":"book-chapter","created":{"date-parts":[[2012,5,27]],"date-time":"2012-05-27T22:56:12Z","timestamp":1338159372000},"page":"56-67","source":"Crossref","is-referenced-by-count":7,"title":["On the Computational Content of the Brouwer Fixed Point Theorem"],"prefix":"10.1007","author":[{"given":"Vasco","family":"Brattka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Le Roux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arno","family":"Pauly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/BF02007567","volume":"25","author":"G. Baigger","year":"1985","unstructured":"Baigger, G.: Die Nichtkonstruktivit\u00e4t des Brouwerschen Fixpunktsatzes. Arch. Math. Logik Grundlag.\u00a025, 183\u2013188 (1985)","journal-title":"Arch. Math. Logik Grundlag."},{"issue":"8","key":"7_CR2","doi-asserted-by":"crossref","first-page":"986","DOI":"10.1016\/j.apal.2011.12.020","volume":"163","author":"V. Brattka","year":"2012","unstructured":"Brattka, V., de Brecht, M., Pauly, A.: Closed choice and a Uniform Low Basis Theorem. Annals of Pure and Applied Logic\u00a0163(8), 986\u20131008 (2012)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"7_CR3","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2178\/bsl\/1294186663","volume":"17","author":"V. Brattka","year":"2011","unstructured":"Brattka, V., Gherardi, G.: Effective choice and boundedness principles in computable analysis. The Bulletin of Symbolic Logic\u00a017(1), 73\u2013117 (2011)","journal-title":"The Bulletin of Symbolic Logic"},{"issue":"1","key":"7_CR4","doi-asserted-by":"publisher","first-page":"143","DOI":"10.2178\/jsl\/1294170993","volume":"76","author":"V. Brattka","year":"2011","unstructured":"Brattka, V., Gherardi, G.: Weihrauch degrees, omniscience principles and weak computability. The Journal of Symbolic Logic\u00a076(1), 143\u2013176 (2011)","journal-title":"The Journal of Symbolic Logic"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1016\/j.apal.2011.10.006","volume":"163","author":"V. Brattka","year":"2012","unstructured":"Brattka, V., Gherardi, G., Marcone, A.: The Bolzano-Weierstrass theorem is the jump of weak K\u0151nig\u2019s lemma. Annals of Pure and Applied Logic\u00a0163, 623\u2013655 (2012)","journal-title":"Annals of Pure and Applied Logic"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1215\/00294527-2009-018","volume":"50","author":"G. Gherardi","year":"2009","unstructured":"Gherardi, G., Marcone, A.: How incomputable is the separable Hahn-Banach theorem? Notre Dame Journal of Formal Logic\u00a050, 393\u2013425 (2009)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"7_CR7","unstructured":"Hertling, P.: Unstetigkeitsgrade von Funktionen in der effektiven Analysis. Informatik Berichte 208, FernUniversit\u00e4t Hagen, Hagen (November 1996)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-642-21875-0_14","volume-title":"Models of Computation in Context","author":"M. Hoyrup","year":"2011","unstructured":"Hoyrup, M., Rojas, C., Weihrauch, K.: Computability of the Radon-Nikodym Derivative. In: L\u00f6we, B., Normann, D., Soskov, I., Soskova, A. (eds.) CiE 2011. LNCS, vol.\u00a06735, pp. 132\u2013141. Springer, Heidelberg (2011)"},{"key":"7_CR9","doi-asserted-by":"crossref","first-page":"43","DOI":"10.4000\/philosophiascientiae.406","volume":"6","author":"H. Ishihara","year":"2006","unstructured":"Ishihara, H.: Reverse mathematics in Bishop\u2019s constructive mathematics. Philosophia Scientiae, Cahier special\u00a06, 43\u201359 (2006)","journal-title":"Philosophia Scientiae, Cahier special"},{"issue":"5","key":"7_CR10","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1002\/malq.200610058","volume":"54","author":"S. Roux Le","year":"2008","unstructured":"Le Roux, S., Ziegler, M.: Singular coverings and non-uniform notions of closed set computability. Mathematical Logic Quarterly\u00a054(5), 545\u2013560 (2008)","journal-title":"Mathematical Logic Quarterly"},{"key":"7_CR11","unstructured":"Miller, J.S.: Pi-0-1 Classes in Computable Analysis and Topology. Ph.D. thesis, Cornell University, Ithaca, USA (2002)"},{"key":"7_CR12","first-page":"55","volume":"152","author":"V. Orevkov","year":"1963","unstructured":"Orevkov, V.: A constructive mapping of the square onto itself displacing every constructive point (Russian). Doklady Akademii Nauk\u00a0152, 55\u201358 (1963); translated in: Soviet Math. - Dokl. 4, 1253\u20131256 (1963)","journal-title":"Doklady Akademii Nauk"},{"issue":"18","key":"7_CR13","first-page":"2686","volume":"16","author":"A. Pauly","year":"2010","unstructured":"Pauly, A.: How incomputable is finding Nash equilibria? Journal of Universal Computer Science\u00a016(18), 2686\u20132710 (2010)","journal-title":"Journal of Universal Computer Science"},{"issue":"5","key":"7_CR14","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1002\/malq.200910104","volume":"56","author":"A. Pauly","year":"2010","unstructured":"Pauly, A.: On the (semi)lattices induced by continuous reducibilities. Mathematical Logic Quarterly\u00a056(5), 488\u2013502 (2010)","journal-title":"Mathematical Logic Quarterly"},{"issue":"1","key":"7_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s001990050281","volume":"14","author":"M.K. Richter","year":"1999","unstructured":"Richter, M.K., Wong, K.C.: Non-computability of competitive equilibrium. Economic Theory\u00a014(1), 1\u201327 (1999)","journal-title":"Economic Theory"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0168-0072(90)90068-D","volume":"47","author":"N. Shioji","year":"1990","unstructured":"Shioji, N., Tanaka, K.: Fixed point theory in weak second-order arithmetic. Annals of Pure and Applied Logic\u00a047, 167\u2013188 (1990)","journal-title":"Annals of Pure and Applied Logic"},{"key":"7_CR17","series-title":"Perspectives in Mathematical Logic","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59971-2","volume-title":"Subsystems of Second Order Arithmetic","author":"S.G. Simpson","year":"1999","unstructured":"Simpson, S.G.: Subsystems of Second Order Arithmetic. Perspectives in Mathematical Logic. Springer, Berlin (1999)"},{"key":"7_CR18","unstructured":"von Stein, T.: Vergleich nicht konstruktiv l\u00f6sbarer Probleme in der Analysis. Diplomarbeit, Fachbereich Informatik, FernUniversit\u00e4t Hagen (1989)"},{"key":"7_CR19","unstructured":"Weihrauch, K.: The degrees of discontinuity of some translators between representations of the real numbers. Technical Report TR-92-050, International Computer Science Institute, Berkeley (July 1992)"},{"key":"7_CR20","unstructured":"Weihrauch, K.: The TTE-interpretation of three hierarchies of omniscience principles. Informatik Berichte 130, FernUniversit\u00e4t Hagen, Hagen (September 1992)"},{"key":"7_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis","author":"K. Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis. Springer, Berlin (2000)"}],"container-title":["Lecture Notes in Computer Science","How the World Computes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30870-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T17:00:33Z","timestamp":1556816433000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30870-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642308697","9783642308703"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30870-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}