{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:22:55Z","timestamp":1740108175241,"version":"3.37.3"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2016,4,19]],"date-time":"2016-04-19T00:00:00Z","timestamp":1461024000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100007543","name":"Grantov\u00e1 Agentura, Univerzita Karlova","doi-asserted-by":"publisher","award":["5732\/2012"],"award-info":[{"award-number":["5732\/2012"]}],"id":[{"id":"10.13039\/100007543","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1007\/s00153-016-0484-9","type":"journal-article","created":{"date-parts":[[2016,4,19]],"date-time":"2016-04-19T12:22:44Z","timestamp":1461068564000},"page":"625-648","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Construction of models of bounded arithmetic by restricted reduced powers"],"prefix":"10.1007","volume":"55","author":[{"given":"Michal","family":"Garl\u00edk","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,19]]},"reference":[{"key":"484_CR1","doi-asserted-by":"crossref","unstructured":"Ajtai, M.: Generalizations of the compactness theorem and G\u00f6del\u2019s completeness theorem for nonstandard finite structures. In: Proceedings of the 4th International Conference on Theory and Applications of Models of Computation, pp. 13\u201333 (2007)","DOI":"10.1007\/978-3-540-72504-6_2"},{"key":"484_CR2","unstructured":"Ajtai, M.: A Generalization of G\u00f6del\u2019s Completeness Theorem for Nonstandard Finite Structures, manuscript (2011)"},{"key":"484_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(91)90057-S","volume":"53","author":"B Allen","year":"1991","unstructured":"Allen, B.: Arithmetizing uniform NC. Ann. Pure Appl. Log. 53, 1\u201350 (1991)","journal-title":"Ann. Pure Appl. Log."},{"key":"484_CR4","unstructured":"Buss, S.: Bounded Arithmetic, Bibliopolis (1986)"},{"key":"484_CR5","unstructured":"Buss, S.: Weak End Extensions of Models of Bounded Arithmetic, unpublished manuscript (1986)"},{"key":"484_CR6","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0168-0072(92)90068-B","volume":"56","author":"P Clote","year":"1992","unstructured":"Clote, P., Takeuti, G.: Bounded arithmetic for NC. AlogTime L NL Ann. Pure Appl. Log. 56, 73\u2013177 (1992)","journal-title":"AlogTime L NL Ann. Pure Appl. Log."},{"key":"484_CR7","doi-asserted-by":"crossref","first-page":"749","DOI":"10.1145\/1183278.1183283","volume":"7","author":"S Cook","year":"2006","unstructured":"Cook, S., Thapen, N.: The strength of replacement in weak arithmetic. ACM Trans. Comput. Log. 7, 749\u2013764 (2006)","journal-title":"ACM Trans. Comput. Log."},{"issue":"3\u20134","key":"484_CR8","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/s00153-014-0416-5","volume":"54","author":"M Garl\u00edk","year":"2015","unstructured":"Garl\u00edk, M.: A new proof of Ajtai\u2019s completeness theorem for nonstandard finite structures. Arch. Math. Log. 54(3\u20134), 413\u2013424 (2015)","journal-title":"Arch. Math. Log."},{"key":"484_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-22156-3","volume-title":"Metamathematics of First Order Arithmetic","author":"P H\u00e1jek","year":"1993","unstructured":"H\u00e1jek, P., Pudl\u00e1k, P.: Metamathematics of First Order Arithmetic. Springer, New York (1993)"},{"key":"484_CR10","first-page":"262","volume":"13","author":"J Johannsen","year":"2000","unstructured":"Johannsen, J., Pollett, C.: On the $$\\Delta ^b_1$$ \u0394 1 b -bit-comprehension rule. Logic Colloquium \u201998. Lect. Notes Log. ASL 13, 262\u2013279 (2000)","journal-title":"Lect. Notes Log. ASL"},{"issue":"2","key":"484_CR11","first-page":"211","volume":"28","author":"S Kochen","year":"1982","unstructured":"Kochen, S., Kripke, S.: Non-standard models of Peano Arithmetic. Enseign. Math. 28(2), 211\u2013231 (1982)","journal-title":"Enseign. Math."},{"key":"484_CR12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511529948","volume-title":"Bounded Arithmetic, Propositional Logic, and Complexity Theory","author":"J Kraj\u00ed\u010dek","year":"1995","unstructured":"Kraj\u00ed\u010dek, J.: Bounded Arithmetic, Propositional Logic, and Complexity Theory. Cambridge University Press, Cambridge (1995)"},{"issue":"1","key":"484_CR13","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1145\/78935.78941","volume":"37","author":"A M\u00e1t\u00e9","year":"1990","unstructured":"M\u00e1t\u00e9, A.: Nondeterministic polynomial-time computations and models of arithmetic. J. Assoc. Comput. Mach. 37(1), 175\u2013193 (1990)","journal-title":"J. Assoc. Comput. Mach."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0484-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-016-0484-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0484-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T11:54:45Z","timestamp":1558612485000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-016-0484-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,19]]},"references-count":13,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["484"],"URL":"https:\/\/doi.org\/10.1007\/s00153-016-0484-9","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2016,4,19]]}}}