{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T18:59:39Z","timestamp":1769972379701,"version":"3.49.0"},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2016,8,31]],"date-time":"2016-08-31T00:00:00Z","timestamp":1472601600000},"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":["Arch. Math. Logic"],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1007\/s00153-016-0502-y","type":"journal-article","created":{"date-parts":[[2016,9,2]],"date-time":"2016-09-02T17:30:15Z","timestamp":1472837415000},"page":"873-881","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Convexity and constructive infima"],"prefix":"10.1007","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3821-1749","authenticated-orcid":false,"given":"Josef","family":"Berger","sequence":"first","affiliation":[]},{"given":"Gregor","family":"Svindland","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,31]]},"reference":[{"key":"502_CR1","first-page":"129","volume":"38","author":"J Berger","year":"2008","unstructured":"Berger, J., Bridges, D.: The fan theorem and positive-valued uniformly continuous functions on compact intervals. N. Z. J. Math. 38, 129\u2013135 (2008)","journal-title":"N. Z. J. Math."},{"key":"502_CR2","doi-asserted-by":"crossref","unstructured":"Berger, J., Svindland, G.: A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov\u2019s principle. Ann. Pure Appl. Log. 167, 1161\u20131170 (2016)","DOI":"10.1016\/j.apal.2016.05.003"},{"key":"502_CR3","volume-title":"Foundations of Constructive Analysis","author":"E Bishop","year":"1967","unstructured":"Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)"},{"key":"502_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61667-9","volume-title":"Constructive Analysis","author":"E Bishop","year":"1985","unstructured":"Bishop, E., Bridges, D.: Constructive Analysis. Springer, Heidelberg (1985)"},{"key":"502_CR5","volume-title":"Techniques of Constructive Analysis, Universitext","author":"D Bridges","year":"2006","unstructured":"Bridges, D., V\u00eet\u0103, L.S.: Techniques of Constructive Analysis, Universitext. Springer, New York (2006)"},{"key":"502_CR6","first-page":"43","volume":"6","author":"H Ishihara","year":"2006","unstructured":"Ishihara, H.: Reverse mathematics in Bishop\u2019s constructive mathematics. Philos. Sci Cah. Spec. 6, 43\u201359 (2006)","journal-title":"Philos. Sci Cah. Spec."},{"issue":"2","key":"502_CR7","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 $$\\left[0,1\\right]$$ 0 , 1 that is everywhere different from its infimum. Pac. J. Math. 111(2), 333\u2013340 (1984)","journal-title":"Pac. J. Math."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0502-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-016-0502-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0502-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T17:55:27Z","timestamp":1498326927000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-016-0502-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,31]]},"references-count":7,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2016,11]]}},"alternative-id":["502"],"URL":"https:\/\/doi.org\/10.1007\/s00153-016-0502-y","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,8,31]]}}}