{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,27]],"date-time":"2024-01-27T19:38:07Z","timestamp":1706384287166},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2005,7,6]],"date-time":"2005-07-06T00:00:00Z","timestamp":1120608000000},"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":[[2005,8]]},"DOI":"10.1007\/s00153-005-0281-3","type":"journal-article","created":{"date-parts":[[2005,7,5]],"date-time":"2005-07-05T15:15:08Z","timestamp":1120576508000},"page":"685-688","source":"Crossref","is-referenced-by-count":0,"title":["Separations of first and second order theories in bounded arithmetic"],"prefix":"10.1007","volume":"44","author":[{"given":"Masahiro","family":"Yasumoto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"281_CR1","doi-asserted-by":"crossref","unstructured":"Ax, J., Kochen, S.: Diophantine problems over local fields I. Am. J. Math. l87, 605\u2013630 (1965)","DOI":"10.2307\/2373065"},{"key":"281_CR2","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0168-0072(94)00057-A","volume":"75","author":"Buss","year":"1995","unstructured":"Buss, S.R.: Relating the bounded arithmetic and polynomial time hierarchies. Proof theory, provability logic, and computation. Ann. Pure Appl. Logic 75, 67\u201377 (1995)","journal-title":"Proof theory, provability logic, and computation. Ann. Pure Appl. Logic"},{"key":"281_CR3","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P., Pudl\u00e1k, P.: Metamathematics of First-Order Arithmetic. Springer-Verlag, 1993","DOI":"10.1007\/978-3-662-22156-3"},{"key":"281_CR4","doi-asserted-by":"crossref","unstructured":"Kraj\u00edc\u011bk, J.: Bounded Arithmetic, Propositional Logic and Computational Complexity. Cambridge University Press, 1995","DOI":"10.1017\/CBO9780511529948"},{"key":"281_CR5","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0168-0072(91)90043-L","volume":"52","author":"Kraj\u00edc\u011bk","year":"1991","unstructured":"Kraj\u00edc\u011bk, J., Pudl\u00e1k, P.Takeuti, G.: Bounded arithmetic and polynomial hierarchy. Ann. Pure Appl. Logic 52, 143\u2013153 (1991)","journal-title":"Ann. Pure Appl. Logic"},{"key":"281_CR6","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1090\/conm\/106\/1057828","volume":"106","author":"Takeuti","year":"1990","unstructured":"Takeuti, G.: Sharply bounded arithmetic and the function . Contemporary Mathematics 106, 281\u2013288 (1990)","journal-title":"Contemporary Mathematics"},{"key":"281_CR7","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF01621092","volume":"29","author":"Takeuti","year":"1990","unstructured":"Takeuti, G.: Si3 and . Arch. Math. Logic 29, 149\u2013169 (1990)","journal-title":"Arch. Math. Logic"},{"key":"281_CR8","doi-asserted-by":"crossref","unstructured":"Takeuti, G.: RSUV Isomorphism. Proof Theory and Computational Complexity. Oxford Univ. Press, 1993, pp. 364\u2013386","DOI":"10.1093\/oso\/9780198536901.003.0016"},{"key":"281_CR9","unstructured":"Takeuti, G.: S12 versus V12 and R12 versus U12. Preprint, 2003"},{"key":"281_CR10","doi-asserted-by":"crossref","first-page":"942","DOI":"10.2307\/2275794","volume":"61","author":"Zambella","year":"1996","unstructured":"Zambella, D.: Notes on polynomially bounded arithmetic. J. Symbolic Logic 61, 942\u2013966 (1996)","journal-title":"J. Symbolic Logic"},{"key":"281_CR11","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/S0168-0072(97)00026-2","volume":"88","author":"Zambella","year":"1997","unstructured":"Zambella, D.: Endextensions of models of linearly bounded arithmetic. Ann. Pure Appl. Logic 88, 263\u2013277 (1997)","journal-title":"Ann. Pure Appl. Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-005-0281-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-005-0281-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-005-0281-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,27]],"date-time":"2024-01-27T18:29:46Z","timestamp":1706380186000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-005-0281-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7,6]]},"references-count":11,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2005,8]]}},"alternative-id":["281"],"URL":"https:\/\/doi.org\/10.1007\/s00153-005-0281-3","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,7,6]]}}}