{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T03:43:23Z","timestamp":1648871003444},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,11,3]],"date-time":"2009-11-03T00:00:00Z","timestamp":1257206400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2010,1]]},"DOI":"10.1007\/s00153-009-0157-z","type":"journal-article","created":{"date-parts":[[2009,11,2]],"date-time":"2009-11-02T13:43:37Z","timestamp":1257169417000},"page":"17-34","source":"Crossref","is-referenced-by-count":1,"title":["Strict $${\\Pi^1_1}$$ -reflection in bounded arithmetic"],"prefix":"10.1007","volume":"49","author":[{"given":"Ant\u00f3nio M.","family":"Fernandes","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,11,3]]},"reference":[{"issue":"2","key":"157_CR1","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0168-0072(96)00003-6","volume":"82","author":"J. Avigad","year":"1996","unstructured":"Avigad J.: Formalizing forcing arguments in subsystems of second-order arithmetic. Ann. Pure Appl. Logic 82(2), 165\u2013191 (1996)","journal-title":"Ann. Pure Appl. Logic"},{"key":"157_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible Sets and Structures","author":"J. Barwise","year":"1975","unstructured":"Barwise J.: Admissible Sets and Structures. Springer-Verlag, Berlin-Heidelberg-New York (1975)"},{"key":"157_CR3","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1002\/malq.19960420123","volume":"42","author":"A. Cantini","year":"1996","unstructured":"Cantini A.: Asymmetric interpretations for bounded theories. Math. Log. Q. 42, 270\u2013288 (1996)","journal-title":"Math. Log. Q."},{"issue":"1","key":"157_CR4","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/s001530200004","volume":"41","author":"A.M. Fernandes","year":"2002","unstructured":"Fernandes A.M.: A new conservation result of WKL0 over RCA0. Arch. Math. Logic 41(1), 55\u201363 (2002)","journal-title":"Arch. Math. Logic"},{"key":"157_CR5","unstructured":"Fernandes A.M., Ferreira F.: Basic applications of the weak k\u00f6nig\u2019s lemma in feasible analysis. (to appear in Reverse Mathematics, Stephen G. Simpson (ed.). Lecture Notes in Logic) (2001)"},{"key":"157_CR6","doi-asserted-by":"crossref","first-page":"557","DOI":"10.2178\/jsl\/1190150098","volume":"67","author":"A.M. Fernandes","year":"2002","unstructured":"Fernandes A.M., Ferreira F.: Groundwork for weak analysis. J. Symbolic Logic 67, 557\u2013578 (2002)","journal-title":"J. Symbolic Logic"},{"key":"157_CR7","doi-asserted-by":"crossref","first-page":"1001","DOI":"10.2307\/2275924","volume":"59","author":"F. Ferreira","year":"1994","unstructured":"Ferreira F.: A feasible theory for analysis. J. Symbolic Logic 59, 1001\u20131011 (1994)","journal-title":"J. Symbolic Logic"},{"key":"157_CR8","doi-asserted-by":"crossref","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. Springer, Berlin (1999)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-009-0157-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-009-0157-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-009-0157-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T19:36:43Z","timestamp":1558640203000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-009-0157-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11,3]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,1]]}},"alternative-id":["157"],"URL":"https:\/\/doi.org\/10.1007\/s00153-009-0157-z","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,11,3]]}}}