{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T15:39:39Z","timestamp":1762270779218},"reference-count":10,"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\/bf01270626","type":"journal-article","created":{"date-parts":[[2005,3,24]],"date-time":"2005-03-24T05:02:24Z","timestamp":1111640544000},"page":"265-281","source":"Crossref","is-referenced-by-count":9,"title":["The prime number theorem and fragments ofP A"],"prefix":"10.1007","volume":"33","author":[{"given":"C.","family":"Cornaros","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Dimitracopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0168-0072(91)90096-5","volume":"55","author":"A. Berarducci","year":"1991","unstructured":"Berarducci A., Intrigila, B.: Combinatorial principles in elementary number theory. Ann. Pure Appl. Logic55, 35?50 (1991)","journal-title":"Ann. Pure Appl. Logic"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/BF01792983","volume":"30","author":"P. Clote","year":"1990","unstructured":"Clote, P., H\ufffdjek P., Paris, J.: On some formalized conservation results in arithmetic. Arch. Math. Logic30, 201?218 (1990)","journal-title":"Arch. Math. Logic"},{"key":"CR3","unstructured":"Cornaros, Ch.: Ph. D. thesis. University of Crete, to appear"},{"key":"CR4","first-page":"187","volume":"30","author":"H. Gaifman","year":"1982","unstructured":"Gaifman, H., Dimitracopoulos, C.: Fragments of Peano's arithmetic and the MRDP theorem. Logic and Algorithmic, Monograph. Enseign. Math.30, 187?206 (1982)","journal-title":"Logic and Algorithmic, Monograph. Enseign. Math."},{"key":"CR5","volume-title":"Metamathematics of First-Order Arithmetic","author":"P. H\ufffdjek","year":"1992","unstructured":"H\ufffdjek, P., Pudl\ufffdk, P.: Metamathematics of First-Order Arithmetic. Springer-Verlag, Berlin, 1992"},{"key":"CR6","first-page":"43","volume-title":"Proc. 11th Intern. Wittgenstein Symp., Kirchberg\/Wechsel, Austria, 1986","author":"A.J. Macintyre","year":"1987","unstructured":"Macintyre, A.J.: The strength of weak systems. In: Proc. 11th Intern. Wittgenstein Symp., Kirchberg\/Wechsel, Austria, 1986 (H\ufffdlder-Pichler-Tempsky, Vienna, 1987), 43?59"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Paris, J., Kirby, L.A.S.:? n -Collection schemas in arithmetic. Logic Colloquium '77, North-Holland (1978), 199?209","DOI":"10.1016\/S0049-237X(08)72003-2"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1017\/S0022481200028061","volume":"53","author":"J.B. Paris","year":"1988","unstructured":"Paris, J.B., Wilkie, A.J., Woods, A.R.: Provability of the pigeonhole principle and the existence of infinitely many primes. J. Symbolic Logic53, 1235?1244 (1988)","journal-title":"J. Symbolic Logic"},{"key":"CR9","volume-title":"Introduction to the theory of numbers","author":"H.N. Shapiro","year":"1983","unstructured":"Shapiro, H.N.: Introduction to the theory of numbers. Wiley-Interscience, New York, 1983"},{"key":"CR10","unstructured":"Woods, A.R.: Some problems in logic and number theory, and their connections. Ph. D. thesis, University of Manchester, 1981"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01270626.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01270626\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01270626","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T12:56:45Z","timestamp":1586177805000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01270626"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,8]]},"references-count":10,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1994,8]]}},"alternative-id":["BF01270626"],"URL":"https:\/\/doi.org\/10.1007\/bf01270626","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,8]]}}}