{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,25]],"date-time":"2025-12-25T15:23:58Z","timestamp":1766676238423,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642390524"},{"type":"electronic","value":"9783642390531"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39053-1_41","type":"book-chapter","created":{"date-parts":[[2013,6,3]],"date-time":"2013-06-03T04:28:12Z","timestamp":1370233692000},"page":"342-352","source":"Crossref","is-referenced-by-count":3,"title":["The Tarski-Lindenbaum Algebra of the Class of All Strongly Constructivizable Countable Saturated Models"],"prefix":"10.1007","author":[{"given":"Mikhail G.","family":"Peretyat\u2019kin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"41_CR1","unstructured":"Goncharov, S.S.: Countable Boolean Algebras and Decidability, Plenum (1997)"},{"key":"41_CR2","unstructured":"Goncharov, S.S., Ershov, Y.L.: Constructive models. Plenum (1999)"},{"key":"41_CR3","volume-title":"A shorter model theory","author":"W. Hodges","year":"1997","unstructured":"Hodges, W.: A shorter model theory. Cambridge University Press, Cambridge (1997)"},{"key":"41_CR4","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0003-4843(78)90030-X","volume":"13","author":"T.S. Millar","year":"1978","unstructured":"Millar, T.S.: Foundation of recursive model theory. Annals of Mathematical Logic\u00a013, 45\u201372 (1978)","journal-title":"Annals of Mathematical Logic"},{"issue":"3\u20134","key":"41_CR5","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF02757002","volume":"25","author":"M. Morley","year":"1976","unstructured":"Morley, M.: Decidable models. Israel J. Math.\u00a025(3\u20134), 233\u2013240 (1976)","journal-title":"Israel J. Math."},{"key":"41_CR6","unstructured":"Peretyat\u2019kin, M.G.: Finitely axiomatizable theories. Plenum, New York (1997)"},{"key":"41_CR7","series-title":"Lecture Notes in Computer Science","first-page":"590","volume-title":"How the World Computes","author":"M.G. Peretyat\u2019kin","year":"2012","unstructured":"Peretyat\u2019kin, M.G.: On the Tarski-Lindenbaum algebra of the class of all strongly constructivizable prime models. In: Cooper, S.B., Dawar, A., L\u00f6we, B. (eds.) CiE 2012. LNCS, vol.\u00a07318, pp. 590\u2013599. Springer, Heidelberg (2012)"},{"key":"41_CR8","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H.J. Rogers","year":"1967","unstructured":"Rogers, H.J.: Theory of Recursive Functions and Effective Computability. McGraw-Hill Book Co., New York (1967)"}],"container-title":["Lecture Notes in Computer Science","The Nature of Computation. Logic, Algorithms, Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39053-1_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,13]],"date-time":"2023-02-13T19:08:59Z","timestamp":1676315339000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39053-1_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390524","9783642390531"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39053-1_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}