{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T11:30:21Z","timestamp":1777548621326,"version":"3.51.4"},"reference-count":4,"publisher":"SAGE Publications","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["COM"],"published-print":{"date-parts":[[2020,8,3]]},"DOI":"10.3233\/com-180243","type":"journal-article","created":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T11:33:06Z","timestamp":1558092786000},"page":"309-314","source":"Crossref","is-referenced-by-count":3,"title":["Leaf management"],"prefix":"10.1177","volume":"9","author":[{"given":"Jeffry\u00a0L.","family":"Hirst","sequence":"first","affiliation":[{"name":"Mathematical Sciences Department, Appalachian State University, NC, 28068, USA. hirstjl@appstate.edu"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","reference":[{"issue":"1","key":"10.3233\/COM-180243_ref2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2178\/bsl\/1294186663","article-title":"Effective choice and boundedness principles in computable analysis","volume":"17","author":"Brattka","year":"2011","journal-title":"Bull. Symbolic Logic"},{"key":"10.3233\/COM-180243_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-018-0654-z"},{"issue":"1","key":"10.3233\/COM-180243_ref5","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0168-0072(90)90014-S","article-title":"Weak comparability of well orderings and reverse mathematics","volume":"47","author":"Friedman","year":"1990","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.3233\/COM-180243_ref7","isbn-type":"print","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1017\/CBO9780511581007","volume-title":"Subsystems of Second Order Arithmetic, Perspectives in Logic","author":"Simpson","year":"2009","ISBN":"https:\/\/id.crossref.org\/isbn\/9780521884396"}],"container-title":["Computability"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/COM-180243","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T16:00:14Z","timestamp":1777392014000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/COM-180243"}},"subtitle":[],"editor":[{"given":"Vasco","family":"Brattka","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Damir D.","family":"Dzhafarov","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Alberto","family":"Marcone","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Arno","family":"Pauly","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2020,8,3]]},"references-count":4,"journal-issue":{"issue":"3-4"},"URL":"https:\/\/doi.org\/10.3233\/com-180243","relation":{},"ISSN":["2211-3576","2211-3568"],"issn-type":[{"value":"2211-3576","type":"electronic"},{"value":"2211-3568","type":"print"}],"subject":[],"published":{"date-parts":[[2020,8,3]]}}}