{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:24:06Z","timestamp":1725902646417},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662553855"},{"type":"electronic","value":"9783662553862"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55386-2_24","type":"book-chapter","created":{"date-parts":[[2017,6,28]],"date-time":"2017-06-28T07:24:53Z","timestamp":1498634693000},"page":"336-348","source":"Crossref","is-referenced-by-count":3,"title":["On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations"],"prefix":"10.1007","author":[{"given":"Nikolai L.","family":"Poliakov","sequence":"first","affiliation":[]},{"given":"Denis I.","family":"Saveliev","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,29]]},"reference":[{"key":"24_CR1","unstructured":"Goranko, V.: Filter and ultrafilter extensions of structures: universal-algebraic aspects (2007, preprint)"},{"issue":"4","key":"24_CR2","first-page":"891","volume":"73","author":"B J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B., Tarski, A.: Boolean algebras with operators. Part I: Amer. J. Math. 73(4), 891\u2013939 (1951). Part II: ibid. 74(1), 127\u2013162 (1952)","journal-title":"Part I: Amer. J. Math."},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-18026-2_14","volume-title":"Logic and Its Applications","author":"DI Saveliev","year":"2011","unstructured":"Saveliev, D.I.: Ultrafilter extensions of models. In: Banerjee, M., Seth, A. (eds.) ICLA 2011. LNCS, vol. 6521, pp. 162\u2013177. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-18026-2_14"},{"key":"24_CR4","unstructured":"Saveliev, D.I.: On ultrafilter extensions of models. In: Friedman, S.-D., et al. (eds.) The Infinity Project Proceedings CRM Documents 11, Barcelona, pp. 599\u2013616 (2012)"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Hindman, N., Strauss, D.: Algebra in the Stone-\u010cech compactification, 2nd edn. (2012). de Gruyter, W.: Revised and expanded, Berlin-New York","DOI":"10.1515\/9783110258356"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Saveliev, D.I.: On two concepts of ultrafilter extensions of binary relations (2014, preprint)","DOI":"10.1007\/s11083-013-9313-5"},{"issue":"2","key":"24_CR7","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968839","volume":"38","author":"E \u010cech","year":"1937","unstructured":"\u010cech, E.: On bicompact spaces. Ann. Math. 38(2), 823\u2013844 (1937)","journal-title":"Ann. Math."},{"key":"24_CR8","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1090\/S0002-9947-1937-1501905-7","volume":"41","author":"MH Stone","year":"1937","unstructured":"Stone, M.H.: Applications of the theory of Boolean rings to general topology. Trans. Amer. Math. Soc. 41, 375\u2013481 (1937)","journal-title":"Trans. Amer. Math. Soc."},{"key":"24_CR9","doi-asserted-by":"crossref","first-page":"112","DOI":"10.2307\/1968717","volume":"39","author":"H Wallman","year":"1938","unstructured":"Wallman, H.: Lattices and topological spaces. Ann. Math. 39, 112\u2013126 (1938)","journal-title":"Ann. Math."},{"key":"24_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-65780-1","volume-title":"The Theory of Ultrafilters","author":"WW Comfort","year":"1974","unstructured":"Comfort, W.W., Negrepontis, S.: The Theory of Ultrafilters. Springer, Berlin (1974)"},{"key":"24_CR11","unstructured":"Engelking, R.: General topology. Monogr. Matem. 60, Warszawa (1977)"},{"issue":"2","key":"24_CR12","doi-asserted-by":"crossref","first-page":"221","DOI":"10.2307\/1970235","volume":"74","author":"S Kochen","year":"1961","unstructured":"Kochen, S.: Ultraproducts in the theory of models. Ann. Math. 74(2), 221\u2013261 (1961)","journal-title":"Ann. Math."},{"key":"24_CR13","doi-asserted-by":"crossref","first-page":"195","DOI":"10.4064\/fm-51-3-195-228","volume":"51","author":"T Frayne","year":"1962","unstructured":"Frayne, T., Morel, A.C., Scott, D.S.: Reduced direct products. Fund. Math. 51, 195\u2013228 (1962). 53, 117 (1963)","journal-title":"Fund. Math."},{"key":"24_CR14","volume-title":"Model Theory","author":"CC Chang","year":"1973","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory. North-Holland, Amsterdam-London-New York (1973)"},{"key":"24_CR15","volume-title":"The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings","author":"A Kanamori","year":"2005","unstructured":"Kanamori, A.: The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings, 2nd edn. Springer, Berlin (2005)","edition":"2"},{"key":"24_CR16","volume-title":"Lectures on Topological Dynamics","author":"R Ellis","year":"1969","unstructured":"Ellis, R.: Lectures on Topological Dynamics. Benjamin, New York (1969)"},{"key":"24_CR17","first-page":"37","volume":"43","author":"DI Saveliev","year":"2014","unstructured":"Saveliev, D.I.: On idempotents in compact left topological universal algebras. Topol. Proc. 43, 37\u201346 (2014)","journal-title":"Topol. Proc."},{"key":"24_CR18","unstructured":"Saveliev, D.I.: On Hindman sets (2008, preprint)"},{"issue":"2","key":"24_CR19","first-page":"191","volume":"31","author":"EJ Lemmon","year":"1966","unstructured":"Lemmon, E.J.: Algebraic semantics for modal logic. Part II: J. Symb. Logic 31(2), 191\u2013218 (1966)","journal-title":"Part II: J. Symb. Logic"},{"key":"24_CR20","volume-title":"An Introduction to Modal Logic","author":"EJ Lemmon","year":"1977","unstructured":"Lemmon, E.J., Scott, D.S.: An Introduction to Modal Logic. Blackwell, Oxford (1977)"},{"key":"24_CR21","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BFb0062855","volume-title":"Algebra and Logic","author":"RI Goldblatt","year":"1975","unstructured":"Goldblatt, R.I., Thomason, S.K.: Axiomatic classes in propositional modal logic. In: Crossley, J.N. (ed.) Algebra and Logic. LNM, vol. 450, pp. 163\u2013173. Springer, Heidelberg (1975). doi: 10.1007\/BFb0062855"},{"issue":"1","key":"24_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2273696","volume":"44","author":"JFAK Benthem van","year":"1979","unstructured":"van Benthem, J.F.A.K.: Canonical modal logics and ultrafilter extensions. J. Symb. Logic 44(1), 1\u20138 (1979)","journal-title":"J. Symb. Logic"},{"issue":"1","key":"24_CR23","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1305\/ndjfl\/1093634994","volume":"30","author":"JFAK Benthem van","year":"1988","unstructured":"van Benthem, J.F.A.K.: Notes on modal definability. Notre Dame J. Formal Logic 30(1), 20\u201335 (1988)","journal-title":"Notre Dame J. Formal Logic"},{"key":"24_CR24","unstructured":"Venema, Y.: Model definability, purely modal. In: Gerbrandy, J., et al. (eds.) JFAK. Essays Dedicated to Johan van Benthem on the Occasion on his 50th Birthday, Amsterdam (1999)"},{"key":"24_CR25","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0168-0072(89)90032-8","volume":"44","author":"RI Goldblatt","year":"1989","unstructured":"Goldblatt, R.I.: Varieties of complex algebras. Ann. Pure Appl. Logic 44, 173\u2013242 (1989)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1","key":"24_CR26","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/s11083-013-9313-5","volume":"32","author":"DI Saveliev","year":"2015","unstructured":"Saveliev, D.I.: Ultrafilter extensions of linearly ordered sets. Order 32(1), 29\u201341 (2015)","journal-title":"Order"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55386-2_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,27]],"date-time":"2019-09-27T05:19:44Z","timestamp":1569561584000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55386-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662553855","9783662553862"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55386-2_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}