{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:47:15Z","timestamp":1759146435611},"reference-count":25,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1986,1,1]],"date-time":"1986-01-01T00:00:00Z","timestamp":504921600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":10059,"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":[[1986]]},"DOI":"10.1016\/0168-0072(86)90066-7","type":"journal-article","created":{"date-parts":[[2003,5,19]],"date-time":"2003-05-19T16:51:58Z","timestamp":1053363118000},"page":"123-144","source":"Crossref","is-referenced-by-count":41,"special_numbering":"C","title":["Which set existence axioms are needed to prove the separable Hahn-Banach theorem?"],"prefix":"10.1016","volume":"31","author":[{"given":"Douglas K.","family":"Brown","sequence":"first","affiliation":[]},{"given":"Stephen G.","family":"Simpson","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0168-0072(86)90066-7_BIB1","unstructured":"D.K. Brown, Ph.D. Thesis, Pennsylvania State University, in preparation."},{"year":"1963","series-title":"Linear Operators Part I","author":"Dunford","key":"10.1016\/0168-0072(86)90066-7_BIB2"},{"key":"10.1016\/0168-0072(86)90066-7_BIB3","series-title":"Proc. Internat. Congress of Mathematicians","first-page":"235","article-title":"Some systems of second order arithmetic and their use","volume":"Vol. 1","author":"Friedman","year":"1975"},{"key":"10.1016\/0168-0072(86)90066-7_BIB4","first-page":"557","article-title":"Systems of second order arithmetic with restricted induction (abstracts)","volume":"41","author":"Friedman","year":"1976","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(86)90066-7_BIB5","series-title":"Patras Logic Symposium","first-page":"197","article-title":"A finite combinatorial principle which is equivalent to the 1-consistency of predicative analysis","author":"Friedman","year":"1982"},{"key":"10.1016\/0168-0072(86)90066-7_BIB6","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0168-0072(83)90012-X","article-title":"Countable algebra and set existence axioms","volume":"25","author":"Friedman","year":"1983","journal-title":"Annals Pure Applied Logic"},{"key":"10.1016\/0168-0072(86)90066-7_BIB7_1","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/BF01206605","article-title":"\u00dcber das unendliche","volume":"95","author":"Hilbert","year":"1926","journal-title":"Math. Ann."},{"first-page":"367","year":"1967","series-title":"From Frege to G\u00f6del: A Source Book in Mathematical Logic, 1897\u20131931","key":"10.1016\/0168-0072(86)90066-7_BIB7_2"},{"volume":"Vols. 1 and 2","year":"1934","author":"Hilbert","key":"10.1016\/0168-0072(86)90066-7_BIB8"},{"key":"10.1016\/0168-0072(86)90066-7_BIB9","series-title":"Victoria Symposium on Nostandard Analysis","first-page":"203","article-title":"The strength of the Hahn-Banach theorem","volume":"369","author":"Pincus","year":"1974"},{"key":"10.1016\/0168-0072(86)90066-7_BIB10","series-title":"Set Theory and Hierarchy Theory V (Bierutowice, Poland, 1976)","first-page":"211","article-title":"Initial segments of models of Peano's axioms","volume":"619","author":"Kirby","year":"1977"},{"key":"10.1016\/0168-0072(86)90066-7_BIB11","doi-asserted-by":"crossref","first-page":"587","DOI":"10.2307\/2273590","article-title":"Expansions of models and Turing degrees","volume":"47","author":"Knight","year":"1982","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(86)90066-7_BIB12","series-title":"The L.E.J. Brouwer Centenary Symposium","first-page":"319","article-title":"The introduction of non-recursive methods into mathematics","author":"Metakides","year":"1982"},{"year":"1967","series-title":"Theory of Recursive Functions and Effective Computability","author":"Rogers","key":"10.1016\/0168-0072(86)90066-7_BIB13"},{"key":"10.1016\/0168-0072(86)90066-7_BIB14","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0168-0072(85)90030-2","article-title":"Fragments of arithmetic","volume":"28","author":"Sieg","year":"1985","journal-title":"Annals Pure Applied Logic"},{"key":"10.1016\/0168-0072(86)90066-7_BIB15","series-title":"Harvey Friedman's Research in the Foundations of Mathematics","first-page":"137","article-title":"Friedman's research on subsystems of second order arithmetic","author":"Simpson","year":"1985"},{"key":"10.1016\/0168-0072(86)90066-7_BIB16","first-page":"38","article-title":"Notes on subsystems of analysis","author":"Simpson","year":"1973"},{"key":"10.1016\/0168-0072(86)90066-7_BIB17","series-title":"Logic Colloquium '80","first-page":"239","article-title":"\u03a311 and \u03a011 transfinite induction","author":"Simpson","year":"1982"},{"key":"10.1016\/0168-0072(86)90066-7_BIB18","unstructured":"S.G. Simpson, Subsystems of Second Order Arithmetic, in preparation."},{"key":"10.1016\/0168-0072(86)90066-7_BIB19","series-title":"Proof Theory","article-title":"Subsystems of Z2 and reverse mathematics, appendix to: G. Takeuti","author":"Simpson","year":"1986"},{"key":"10.1016\/0168-0072(86)90066-7_BIB20","doi-asserted-by":"crossref","first-page":"783","DOI":"10.2307\/2274131","article-title":"Which set existence axioms are needed to prove the Cauchy\/Peano theorem for ordinary differential equations?","volume":"49","author":"Simpson","year":"1984","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(86)90066-7_BIB21","article-title":"Determinateness and subsystems of analysis","author":"Steel","year":"1977","journal-title":"Ph.D. Thesis"},{"key":"10.1016\/0168-0072(86)90066-7_BIB22","first-page":"iv+84","article-title":"Das Kontinuum: Kritische Untersuchungen \u00fcber die Grundlagen der Analysis","author":"Weyl","year":"1960"},{"year":"1978","series-title":"Ein konstruktiver Weg zur Masstheorie und Funktionalanalysis","author":"Zahn","key":"10.1016\/0168-0072(86)90066-7_BIB23"},{"key":"10.1016\/0168-0072(86)90066-7_BIB24","first-page":"85","article-title":"Recursive limits on the Hahn-Banach theorem","volume":"39","author":"Metakides","year":"1985"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007286900667?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007286900667?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T11:57:30Z","timestamp":1553169450000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0168007286900667"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"references-count":25,"alternative-id":["0168007286900667"],"URL":"https:\/\/doi.org\/10.1016\/0168-0072(86)90066-7","relation":{},"ISSN":["0168-0072"],"issn-type":[{"type":"print","value":"0168-0072"}],"subject":[],"published":{"date-parts":[[1986]]}}}