{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T15:25:39Z","timestamp":1675956339744},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1989,6,1]],"date-time":"1989-06-01T00:00:00Z","timestamp":612662400000},"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":[[1989,6]]},"DOI":"10.1007\/bf01633984","type":"journal-article","created":{"date-parts":[[2005,5,6]],"date-time":"2005-05-06T16:59:34Z","timestamp":1115398774000},"page":"91-98","source":"Crossref","is-referenced-by-count":8,"title":["On the structure of initial segments of models of arithmetic"],"prefix":"10.1007","volume":"28","author":[{"given":"Jan","family":"Kraj\u00ed\u010dek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavel","family":"Pudl\u00e1k","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Model theory","author":"C.C. Chang","year":"1977","unstructured":"Chang, C.C., Keisler, H.J.: Model theory. Amsterdam: North-Holland 1977"},{"key":"CR2","first-page":"217","volume-title":"Logic Colloquium 83, vol. 2","author":"P. H\u00e1jek","year":"1983","unstructured":"H\u00e1jek, P.: On a new notion of partial conservativity. In: Boerger, E., Oberschelp, W., Richter, M.M., Schinzel, B., Thomas, W. (eds.) Logic Colloquium 83, vol. 2, pp. 217\u2013232. Berlin Heidelberg New York: Springer 1983"},{"key":"CR3","series-title":"Monogr. No. 30","first-page":"317","volume-title":"An Intr. Symp. held in honour of E. Specker, Z\u00fcrich 1980","author":"J.B. Paris","year":"1982","unstructured":"Paris, J.B., Dimitracopoulos, C.: Truth definitions for\u0394 0 formulae, Logic and Algorithmic (An Intr. Symp. held in honour of E. Specker, Z\u00fcrich 1980), Monogr. No. 30 de L'Enseignement Math\u00e9matique, Gen\u00e9ve (1982), pp. 317\u2013329"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/S0049-237X(08)70462-2","volume-title":"Logic Colloquium 84","author":"P. Pudl\u00e1k","year":"1986","unstructured":"Pudl\u00e1k, P.: On the length of proofs of finitistic consistency statements in first order theories. In: Paris, J.B., Wilkie, A.J., Wilmers, G.M. (eds.) Logic Colloquium 84, pp. 165\u2013196. Amsterdam: North-Holland 1986"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Pudl\u00e1k, P.: Improved bounds to the length of proofs of finitistic consistency statements, Logic and Combinatories. In: Simpson, S.G. (ed.) Contemporary Mathematics, vol. 65, pp. 309\u2013332 (1987)","DOI":"10.1090\/conm\/065\/891256"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0049-237X(08)71807-X","volume-title":"Logic Colloquium 82","author":"C. Smorynski","year":"1984","unstructured":"Smorynski, C.: Lectures on nonstandard models of arithmetic. In: Logic Colloquium 82, pp. 1\u201370. Lolli, G., Longo, G., Marcja, A. (eds.) Amsterdam: North-Holland 1984"},{"key":"CR7","volume-title":"Harvey Friedman's Research on the Foundations of Mathematics","author":"C.A. Smorynski","year":"1985","unstructured":"Smorynski, C.A.: Nonstandard models and related developments. In: Havington, L.A., Morley, M., Scechov, A., Simpson, S.G. (eds.), Harvey Friedman's Research on the Foundations of Mathematics. Amsterdam: North-Holland 1985"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01633984.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01633984\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01633984","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T07:22:53Z","timestamp":1586244173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01633984"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,6]]},"references-count":7,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1989,6]]}},"alternative-id":["BF01633984"],"URL":"https:\/\/doi.org\/10.1007\/bf01633984","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,6]]}}}