{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T01:51:35Z","timestamp":1649037095926},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1990,3,1]],"date-time":"1990-03-01T00:00:00Z","timestamp":636249600000},"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":[[1990,3]]},"DOI":"10.1007\/bf01634978","type":"journal-article","created":{"date-parts":[[2005,5,6]],"date-time":"2005-05-06T21:08:56Z","timestamp":1115413736000},"page":"83-89","source":"Crossref","is-referenced-by-count":0,"title":["A note on the variety of satisfaction classes"],"prefix":"10.1007","volume":"30","author":[{"given":"Roman","family":"Murawski","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Kirby, L.A.S.: Initial segments of models of arithmetic. Ph.D. Thesis, Manchester University, 1977","DOI":"10.1007\/BFb0067653"},{"key":"CR2","series-title":"Lect. Notes Math.","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/BFb0067653","volume-title":"Set theory and hierarchy theory V, proceedings of the Bierutowice Conference 1976","author":"L.A.S. Kirby","year":"1977","unstructured":"Kirby, L.A.S., Paris, J.: Initial segments of models of Peano's axioms. In: Lachlan, A., Srebrny, M., Zarach, A. (eds.) Set theory and hierarchy theory V, proceedings of the Bierutowice Conference 1976 (Lect. Notes Math., vol. 619, pp. 211\u2013226). Berlin Heidelberg New York: Springer 1977"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1305\/ndjfl\/1093870757","volume":"26","author":"R. Kossak","year":"1985","unstructured":"Kossak, R.: A note on satisfaction classes. Notre Dame J. Formal Logic26, 1\u20138 (1985)","journal-title":"Notre Dame J. Formal Logic"},{"key":"CR4","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. Fundam. Math.120, 205\u2013222 (1984)","journal-title":"Fundam. Math."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1002\/malq.19860323107","volume":"32","author":"H. Kotlarski","year":"1986","unstructured":"Kotlarski, H.: Bounded induction and satisfaction classes. Z. Math. Logik Grundlagen Math.32, 531\u2013544 (1986)","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"283","DOI":"10.4153\/CMB-1981-045-3","volume":"24","author":"H. Kotlarski","year":"1981","unstructured":"Kotlarski, H., Krajewski, S., Lachlan, A.: Construction of satisfaction classes for nonstandard models. Can. Math. Bull.24, 283\u2013293 (1981)","journal-title":"Can. Math. Bull."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Kotlarski, H., Ratajczyk, Z.: Inductive full satisfaction classes. Ann. Pure Appl. Logic (to appear)","DOI":"10.1016\/0168-0072(90)90035-Z"},{"key":"CR8","series-title":"Lect. Notes Math.","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BFb0096898","volume-title":"Set theory and hierarchy theory, proceedings of the Bierutowice Conference 1975","author":"S. Krajewski","year":"1976","unstructured":"Krajewski, S.: Nonstandard satisfaction classes. In: Marek, W., Srebrny, M., Zarach, A. (eds.). Set theory and hierarchy theory, proceedings of the Bierutowice Conference 1975. (Lect. Notes Math. vol. 537, pp. 121\u2013144). Berlin Heidelberg New York: Springer 1976"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"294","DOI":"10.4153\/CMB-1981-046-0","volume":"24","author":"A. Lachlan","year":"1981","unstructured":"Lachlan, A.: Full satisfaction classes and recursive saturation. Can. Math. Bull.24, 294\u2013297 (1981)","journal-title":"Can. Math. Bull."},{"key":"CR10","unstructured":"Murawski, R.: Models of Peano arithmetic expandable to models of fragments of second order arithmetic (in Polish). Ph.D. Thesis, University of Warsaw, 1978"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1305\/ndjfl\/1093637930","volume":"29","author":"R. Murawski","year":"1988","unstructured":"Murawski, R.: Pointwise definable substructures of models of Peano arithmetic. Notre Dame J. Formal Logic29, 295\u2013308 (1988)","journal-title":"Notre Dame J. Formal Logic"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/BF01625830","volume":"27","author":"R. Murawski","year":"1988","unstructured":"Murawski, R.: Definable sets and expansions of models of Peano arithmetic. Arch. Math. Logic27, 21\u201333 (1988)","journal-title":"Arch. Math. Logic"},{"key":"CR13","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"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"821","DOI":"10.1016\/S0049-237X(08)71123-6","volume-title":"Handbook of mathematical logic","author":"C. Smory\u0144ski","year":"1977","unstructured":"Smory\u0144ski, C.: The incompleteness theorems. In: Barwise, J. (ed.). Handbook of mathematical logic, pp. 821\u2013865. Amsterdam: North-Holland 1977"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01634978.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01634978\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01634978","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T07:36:33Z","timestamp":1586244993000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01634978"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,3]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1990,3]]}},"alternative-id":["BF01634978"],"URL":"https:\/\/doi.org\/10.1007\/bf01634978","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,3]]}}}