{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T22:09:29Z","timestamp":1648591769167},"reference-count":15,"publisher":"Elsevier BV","issue":"8","license":[{"start":{"date-parts":[[2012,8,1]],"date-time":"2012-08-01T00:00:00Z","timestamp":1343779200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2016,8,1]],"date-time":"2016-08-01T00:00:00Z","timestamp":1470009600000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1016\/j.apal.2011.12.026","type":"journal-article","created":{"date-parts":[[2012,1,10]],"date-time":"2012-01-10T00:33:40Z","timestamp":1326155620000},"page":"1050-1056","source":"Crossref","is-referenced-by-count":2,"title":["The intermediate value theorem in constructive mathematics without choice"],"prefix":"10.1016","volume":"163","author":[{"given":"Matthew","family":"Hendtlass","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.apal.2011.12.026_br000005","unstructured":"P.H.G. Aczel, M. Rathjen, Notes on constructive set theory, Report No. 40, Institut Mittag-Leffler, Royal Swedish Academy of Sciences, 2001."},{"key":"10.1016\/j.apal.2011.12.026_br000010","series-title":"Foundations of Constructive Analysis","author":"Bishop","year":"1967"},{"key":"10.1016\/j.apal.2011.12.026_br000015","article-title":"Constructive Analysis","volume":"vol. 279","author":"Bishop","year":"1985"},{"key":"10.1016\/j.apal.2011.12.026_br000020","series-title":"Mathematical Logic and its Applications","first-page":"61","article-title":"A constructive Morse theory of sets","author":"Bridges","year":"1987"},{"key":"10.1016\/j.apal.2011.12.026_br000025","series-title":"Varieties of Constructive Mathematics","volume":"vol. 97","author":"Bridges","year":"1987"},{"key":"10.1016\/j.apal.2011.12.026_br000030","series-title":"Techniques of Constructive Analysis","author":"Bridges","year":"2006"},{"issue":"1","key":"10.1016\/j.apal.2011.12.026_br000035","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/1971023","article-title":"Set theoretic foundations for constructive analysis","volume":"105","author":"Friedman","year":"1977","journal-title":"Ann. Math."},{"issue":"3","key":"10.1016\/j.apal.2011.12.026_br000040","doi-asserted-by":"crossref","first-page":"347","DOI":"10.2307\/2272159","article-title":"Constructive set theory","volume":"40","author":"Myhill","year":"1975","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/j.apal.2011.12.026_br000045","doi-asserted-by":"crossref","first-page":"213","DOI":"10.2140\/pjm.2000.196.213","article-title":"The fundamental theorem of algebra: a constructive development without choice","volume":"196","author":"Richman","year":"2000","journal-title":"Pacific Journal of Mathematics"},{"key":"10.1016\/j.apal.2011.12.026_br000050","series-title":"Reuniting the Antipodes\u2014Constructive and Nonstandard Views of the Continuum","first-page":"199","article-title":"Constructive mathematics without choice","volume":"vol. 306","author":"Richman","year":"2001"},{"key":"10.1016\/j.apal.2011.12.026_br000055","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/S0019-3577(02)80009-X","article-title":"Spreads and choice in constructive mathematics","volume":"13","author":"Richman","year":"2002","journal-title":"Indagations Mathematicae"},{"key":"10.1016\/j.apal.2011.12.026_br000060","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1002\/malq.200710024","article-title":"Real numbers and other completions","volume":"54","author":"Richman","year":"2008","journal-title":"Math. Logic Quarterly"},{"key":"10.1016\/j.apal.2011.12.026_br000065","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1016\/S0304-3975(02)00707-7","article-title":"Unique existence, approximate solutions, and countable choice","volume":"305","author":"Schuster","year":"2003","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.apal.2011.12.026_br000070","unstructured":"P. Taylor, A Lambda calculus for real analysis, Computability and Complexity in Analysis, Kyoto, 2005."},{"key":"10.1016\/j.apal.2011.12.026_br000075","series-title":"Constructivism in mathematics, Vol. I. An introduction","volume":"vol. 121","author":"Troelstra","year":"1988"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007211001990?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007211001990?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,11,27]],"date-time":"2018-11-27T01:26:06Z","timestamp":1543281966000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007211001990"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8]]},"references-count":15,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2012,8]]}},"alternative-id":["S0168007211001990"],"URL":"https:\/\/doi.org\/10.1016\/j.apal.2011.12.026","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2012,8]]}}}