{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T22:40:13Z","timestamp":1698360013036},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1994,8,1]],"date-time":"1994-08-01T00:00:00Z","timestamp":775699200000},"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":[[1994,8]]},"DOI":"10.1007\/bf01270627","type":"journal-article","created":{"date-parts":[[2005,3,24]],"date-time":"2005-03-24T05:02:24Z","timestamp":1111640544000},"page":"283-289","source":"Crossref","is-referenced-by-count":4,"title":["Binary models generated by their tally part"],"prefix":"10.1007","volume":"33","author":[{"given":"Fernando","family":"Ferreira","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Bounded Arithmetic","author":"S. Buss","year":"1986","unstructured":"Buss, S.: Bounded Arithmetic. Napoli: Bibliopolis, 1986. Revision of a 1985 Princeton University Doctoral Thesis"},{"key":"CR2","unstructured":"Ferreira, F.: Polynomial Time Computable Arithmetic and Conservative Extensions. State College, 1988. Pennsylvania State University Doctoral Thesis"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Ferreira, F.: Polynomial Time Computable Arithmetic. In: Sieg, W. (ed.) Logic and Computation. Contemporary Mathematics 106, pp. 137?156 (1990a)","DOI":"10.1090\/conm\/106\/1057819"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/978-1-4612-3466-1_9","volume-title":"Feasible Mathematics","author":"F. Ferreira","year":"1990","unstructured":"Ferreira, F.: Stockmeyer Induction. In: Buss, S., Scott, P.J. (eds.) Feasible Mathematics (pp. 161?180). Boston: Birkh\ufffduser, 1990b"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0168-0072(91)90043-L","volume":"52","author":"J. Kraj\ufffd?ek","year":"1991","unstructured":"Kraj\ufffd?ek, J., Pudl\ufffdk, P., Takeuti, G.: Bounded Arithmetic and the Polynomial Hierarchy Ann. Pure Appl. Logic52, 143?153 (1991)","journal-title":"Ann. Pure Appl. Logic"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/S0049-237X(08)72003-2","volume-title":"Logic Colloquium '77","author":"J. Paris","year":"1978","unstructured":"Paris, J., Kirby, L.:? n -collection schemes in arithmetic. In: Macintyre, A., Pacholski, L., Paris, J. (eds.) Logic Colloquium '77 (pp. 199?209). Amsterdam: North-Holland, 1978"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1017\/S0022481200028061","volume":"53","author":"J. Paris","year":"1988","unstructured":"Paris, J., Wilkie, A., Woods, A.: Provability of the pigeonhole principle and the existence of infinitely many primes. J. Symb. Logic53, 1235?1244 (1988)","journal-title":"J. Symb. Logic"},{"key":"CR8","first-page":"143","volume-title":"Logic, Methodology and Philosophy of Science VIII","author":"A. Wilkie","year":"1989","unstructured":"Wilkie, A., Paris, J.: On the existence of end extensions of models of bounded induction. In: Fenstad, J.E. et al. (eds.) Logic, Methodology and Philosophy of Science VIII (pp. 143?161). Amsterdam: Elsevier Science Publishers, 1989"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01270627.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01270627\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01270627","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T18:14:03Z","timestamp":1556648043000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01270627"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,8]]},"references-count":8,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1994,8]]}},"alternative-id":["BF01270627"],"URL":"https:\/\/doi.org\/10.1007\/bf01270627","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,8]]}}}