{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T03:58:29Z","timestamp":1648871909997},"reference-count":4,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1985,12,1]],"date-time":"1985-12-01T00:00:00Z","timestamp":502243200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch math Logik"],"published-print":{"date-parts":[[1985,12]]},"DOI":"10.1007\/bf02007557","type":"journal-article","created":{"date-parts":[[2005,8,11]],"date-time":"2005-08-11T12:49:28Z","timestamp":1123764568000},"page":"67-74","source":"Crossref","is-referenced-by-count":0,"title":["K\u00f6nig's lemma, the \u03c9-Rule and primitive recursive arithmetic"],"prefix":"10.1007","volume":"25","author":[{"given":"E. G. K.","family":"L\u00f3pez-Escobar","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF02007557_CR1","volume-title":"Introduction to metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to metamathematics. New York: Van Nostrand 1952."},{"key":"BF02007557_CR2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BF02297650","volume":"22","author":"E.G.K. L\u00f3pez-Escobar","year":"1982","unstructured":"L\u00f3pez-Escobar, E.G.K.: Further applications of ultra-conservative \u03c9-rules. Arch. math. Logik22, 89\u2013102 (1982).","journal-title":"Arch. math. Logik"},{"key":"BF02007557_CR3","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/BF01969991","volume":"2","author":"K. Sch\u00fctte","year":"1956","unstructured":"Sch\u00fctte, K.: Ein System des verkn\u00fcpfenden Schlie\u00dfens. Arch. math. Logik2, 55\u201367 (1956).","journal-title":"Arch. math. Logik"},{"key":"BF02007557_CR4","doi-asserted-by":"crossref","first-page":"155","DOI":"10.2307\/2270132","volume":"30","author":"W.W. Tait","year":"1965","unstructured":"Tait, W.W.: Functionals defined by transfinite recursion. J. Symb. Logic30, 155\u2013174 (1965).","journal-title":"J. Symb. Logic"}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007557.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02007557\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007557","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T11:29:37Z","timestamp":1557833377000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02007557"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,12]]},"references-count":4,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1985,12]]}},"alternative-id":["BF02007557"],"URL":"https:\/\/doi.org\/10.1007\/bf02007557","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,12]]}}}