{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,28]],"date-time":"2023-11-28T07:22:53Z","timestamp":1701156173768},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1988,3,1]],"date-time":"1988-03-01T00:00:00Z","timestamp":573177600000},"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":[[1988,3]]},"DOI":"10.1007\/bf01625830","type":"journal-article","created":{"date-parts":[[2005,5,1]],"date-time":"2005-05-01T00:25:39Z","timestamp":1114907139000},"page":"21-33","source":"Crossref","is-referenced-by-count":6,"title":["Definable sets and expansions of models of Peano arithmetic"],"prefix":"10.1007","volume":"27","author":[{"given":"Roman","family":"Murawski","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0003-4843(74)90001-1","volume":"6","author":"K.R. Apt","year":"1974","unstructured":"Apt, K.R., Marek, W.: Second order arithmetic and related topics. Ann. Math. Logic6, 177\u2013239 (1974)","journal-title":"Ann. Math. Logic"},{"key":"CR2","series-title":"Lect. Notes Math., Vol. 498","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/BFb0080973","volume-title":"Model theory and algebra","author":"J. Barwise","year":"1975","unstructured":"Barwise, J., Schlipf, J.: On recursively saturated models of arithmetic. In: Saracino, D.H., Weispfenning, V.B. (eds.) Model theory and algebra. (Lect. Notes Math., Vol. 498, pp. 42\u201355) Berlin Heidelberg New York: Springer 1975"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"213","DOI":"10.4064\/fm-121-3-213-218","volume":"121","author":"M. Kaufmann","year":"1984","unstructured":"Kaufmann, M.: Mutually generic classes and incompatible expansions. Fund. Math.121, 213\u2013218 (1984)","journal-title":"Fund. Math."},{"key":"CR4","volume-title":"Ph. D. Thesis","author":"L. Kirby","year":"1977","unstructured":"Kirby, L.: Initial segments of models of arithmetic. Ph. D. Thesis, Manchester University, Manchester 1977"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"127","DOI":"10.4064\/fm-114-2-127-139","volume":"114","author":"L. Kirby","year":"1981","unstructured":"Kirby, L., McAloon, K., Murawski, R.: Indicators, recursive saturation and expandability. Fund. Math.114, 127\u2013139 (1981)","journal-title":"Fund. Math."},{"key":"CR6","series-title":"Lect. Notes Math., Vol. 619","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/BFb0067653","volume-title":"Set theory and hierarchy theory","author":"L. Kirby","year":"1977","unstructured":"Kirby, L., Paris, J.: Initial segments of models of Peano's axioms. In: Lachlan, A., Srebrny, M., Zarach, A. (eds.) Set theory and hierarchy theory. (Lect. Notes Math., Vol. 619, pp. 211\u2013226) Berlin Heidelberg New York: Springer 1977"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"205","DOI":"10.4064\/fm-120-3-205-222","volume":"120","author":"H. Kotlarski","year":"1984","unstructured":"Kotlarski, H.: On elementary cuts in recursively saturated models of Peano arithmetic. Fund. Math.120, 205\u2013222 (1984)","journal-title":"Fund. Math."},{"key":"CR8","series-title":"Lect. Notes Math., Vol. 537","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BFb0096898","volume-title":"Set theory and hierarchy theory","author":"S. Krajewski","year":"1976","unstructured":"Krajewski, S.: Nonstandard satisfaction classes. In: Marek, W., Srebrny, M., Zarach, A. (eds.) Set theory and hierarchy theory. (Lect. Notes Math., Vol. 537, pp. 121\u2013144) Berlin Heidelberg New York: Springer 1976"},{"key":"CR9","first-page":"325","volume-title":"Sets and classes","author":"A. Mostowski","year":"1976","unstructured":"Mostowski, A.: A remark on models of the G\u00f6del-Bernays axioms for set theory. In: M\u00fcller, G.H. (ed.) Sets and classes, pp. 325\u2013340. Amsterdam: North-Holland 1976"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/BF02123406","volume":"35","author":"R. Murawski","year":"1976","unstructured":"Murawski, R.: On expandability of models of Peano arithmetic. I\u2013III. Studia Logica35, 409\u2013419 (1976);35, 421\u2013431 (1976);36, 181\u2013188 (1977)","journal-title":"Studia Logica"},{"key":"CR11","volume-title":"Ph. D. Thesis","author":"R. Murawski","year":"1978","unstructured":"Murawski, R.: Models of Peano arithmetic expandable to models of fragments of second order arithmetic. Ph. D. Thesis, Warsaw University, Warsaw 1978 (in Polish)"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1002\/malq.19800263403","volume":"26","author":"R. Murawski","year":"1980","unstructured":"Murawski, R.: Some remarks on the structure of expansions. Z. Math. Logik Grundl. Math.26, 537\u2013546 (1980)","journal-title":"Z. Math. Logik Grundl. Math."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1002\/malq.19840303003","volume":"30","author":"R. Murawski","year":"1984","unstructured":"Murawski, R.: Trace expansions of initial segments. Z. Math. Logik Grundl. Math.30, 471\u2013476 (1984)","journal-title":"Z. Math. Logik Grundl. Math."},{"key":"CR14","series-title":"Lect. Notes Math., Vol. 1103","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/BFb0099395","volume-title":"Models and sets","author":"R. Murawski","year":"1984","unstructured":"Murawski, R.: A contribution to nonstandard teratology. In: M\u00fcller, G.H., Richter, M.M. (eds.) Models and sets. (Lect. Notes Math., Vol. 1103, pp. 379\u2013388) Berlin Heidelberg New York: Springer 1984"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Murawski, R.: Pointwise definable substructures of models of Peano arithmetic. Notre Dame J. Formal Logic (in press)","DOI":"10.1305\/ndjfl\/1093637930"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"183","DOI":"10.2307\/2272817","volume":"43","author":"J. Schlipf","year":"1978","unstructured":"Schlipf, J.: Toward model theory through recursive saturation. J. Symb. Logic43, 183\u2013206 (1978)","journal-title":"J. Symb. Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01625830.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01625830\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01625830","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T06:52:13Z","timestamp":1557298333000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01625830"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,3]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1988,3]]}},"alternative-id":["BF01625830"],"URL":"https:\/\/doi.org\/10.1007\/bf01625830","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,3]]}}}