{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T00:31:50Z","timestamp":1769905910667,"version":"3.49.0"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2021,6,22]],"date-time":"2021-06-22T00:00:00Z","timestamp":1624320000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,6,22]],"date-time":"2021-06-22T00:00:00Z","timestamp":1624320000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2021,7]]},"DOI":"10.1007\/s00153-021-00783-6","type":"journal-article","created":{"date-parts":[[2021,6,22]],"date-time":"2021-06-22T18:05:59Z","timestamp":1624385159000},"page":"625-681","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["On ultrafilter extensions of first-order models and ultrafilter interpretations"],"prefix":"10.1007","volume":"60","author":[{"given":"Nikolai L.","family":"Poliakov","sequence":"first","affiliation":[]},{"given":"Denis I.","family":"Saveliev","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,6,22]]},"reference":[{"key":"783_CR1","volume-title":"Model-Theoretic Logics. Perspectives in Mathematical Logic","year":"1985","unstructured":"Barwise, J., Feferman, S. (eds.): Model-Theoretic Logics. Perspectives in Mathematical Logic, vol. 8. Springer, Berlin (1985)"},{"key":"783_CR2","volume-title":"Analysis on Semigroups","author":"J Berglund","year":"1989","unstructured":"Berglund, J., Junghenn, H., Milnes, P.: Analysis on Semigroups. Wiley, New York (1989)"},{"key":"783_CR3","volume-title":"Modal Logic","author":"P Blackburn","year":"2004","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2004)"},{"issue":"2","key":"783_CR4","doi-asserted-by":"publisher","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":"783_CR5","volume-title":"Model Theory","author":"CC Chang","year":"1973","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory. North-Holland, Amsterdam (1973)"},{"key":"783_CR6","doi-asserted-by":"publisher","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":"783_CR7","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.aim.2017.11.003","volume":"324","author":"M Di Nasso","year":"2018","unstructured":"Di Nasso, M., Luperi Baglini, L.: Ramsey properties of nonlinear Diophantine equations. Adv. Math. 324, 84\u2013117 (2018)","journal-title":"Adv. Math."},{"key":"783_CR8","doi-asserted-by":"publisher","first-page":"401","DOI":"10.2140\/pjm.1958.8.401","volume":"8","author":"R Ellis","year":"1958","unstructured":"Ellis, R.: Distal transformation groups. Pac. J. Math. 8, 401\u2013405 (1958)","journal-title":"Pac. J. Math."},{"key":"783_CR9","volume-title":"Lectures on Topological Dynamics","author":"R Ellis","year":"1969","unstructured":"Ellis, R.: Lectures on Topological Dynamics. Benjamin, New York (1969)"},{"key":"783_CR10","unstructured":"Engelking, R.: General topology. Monogr. Matem.\u00a0vol. 60, Warszawa (1977)"},{"issue":"3","key":"783_CR11","doi-asserted-by":"publisher","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(3), 195\u2013228 (1962)","journal-title":"Fund. Math."},{"issue":"1","key":"783_CR12","first-page":"117","volume":"53","author":"T Frayne","year":"1963","unstructured":"Frayne, T., Morel, A.C., Scott, D.S.: Correction to the paper \u201cReduced direct products\u201d. Fund. Math. 53(1), 117 (1963)","journal-title":"Fund. Math."},{"key":"783_CR13","doi-asserted-by":"crossref","unstructured":"Goldblatt, R.I., Thomason, S.K.: Axiomatic classes in propositional modal logic. In: Crossley, J. N.\u00a0(ed.). Algebra and Logic. Lecture Notes in Mathematics, vol. 450, pp. 163\u2013173 (1975)","DOI":"10.1007\/BFb0062855"},{"key":"783_CR14","doi-asserted-by":"publisher","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"},{"key":"783_CR15","unstructured":"Goranko, V.: Filter and ultrafilter extensions of structures: universal-algebraic aspects. Preprint (2007)"},{"key":"783_CR16","doi-asserted-by":"crossref","unstructured":"Hindman, N., Strauss, D.: Algebra in the Stone\u2013\u010cech Compactification, 2nd\u00a0edn., revised and expanded, W.\u00a0de\u00a0Gruyter, Berlin (2012)","DOI":"10.1515\/9783110258356"},{"key":"783_CR17","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.topol.2017.02.001","volume":"220","author":"N Hindman","year":"2017","unstructured":"Hindman, N., Strauss, D.: Topological properties of some algebraically defined subsets of $${\\varvec {\\beta }}{\\mathbb{N}}$$. Topology and its Application 220, 43\u201349 (2017)","journal-title":"Topology and its Application"},{"key":"783_CR18","first-page":"689","volume":"24","author":"N Hindman","year":"2018","unstructured":"Hindman, N., Strauss, D.: Sets and mapping in $${\\varvec {\\beta }}S$$ which are not Borel. N. Y. J. Math. 24, 689\u2013701 (2018)","journal-title":"N. Y. J. Math."},{"issue":"4","key":"783_CR19","doi-asserted-by":"publisher","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B., Tarski, A.: Boolean algebras with operators. Part I. Am. J. Math. 73(4), 891\u2013939 (1951)","journal-title":"Am. J. Math."},{"issue":"1","key":"783_CR20","doi-asserted-by":"publisher","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"B J\u00f3nsson","year":"1952","unstructured":"J\u00f3nsson, B., Tarski, A.: Boolean algebras with operators. Part II. Am. J. Math. 74(1), 127\u2013162 (1952)","journal-title":"Am. J. Math."},{"key":"783_CR21","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"},{"issue":"2","key":"783_CR22","doi-asserted-by":"publisher","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."},{"issue":"2","key":"783_CR23","doi-asserted-by":"publisher","first-page":"191","DOI":"10.2307\/2269810","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":"J. Symb. Logic"},{"key":"783_CR24","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":"783_CR25","first-page":"336","volume-title":"On Two Concepts of Ultrafilter Extensions of First-order Models and Their Generalizations","author":"NL Poliakov","year":"2017","unstructured":"Poliakov, N.L., Saveliev, D.I.: LLIC, Lecture Notes in Computer Science. In: Kennedy, J., de Queiroz, R.J.G.B. (eds.) On Two Concepts of Ultrafilter Extensions of First-order Models and Their Generalizations, vol. 10388, pp. 336\u2013348. Springer, Berlin (2017)"},{"key":"783_CR26","unstructured":"Saveliev, D.I.: On Hindman sets. Preprint (2008)"},{"key":"783_CR27","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-18026-2_14","volume":"6521","author":"DI Saveliev","year":"2011","unstructured":"Saveliev, D.I.: Ultrafilter extensions of models. Lect. Notes Comput. Sci. 6521, 162\u2013177 (2011)","journal-title":"Lect. Notes Comput. Sci."},{"key":"783_CR28","unstructured":"Saveliev, D.I.: On ultrafilter extensions of models. The Infinity Project Proceeding. In: S.-D.\u00a0Friedman, M.\u00a0Koerwien, M. M.\u00a0M\u00fcller (eds.), CRM\u00a0Documents\u00a011, Barcelona, pp. 599\u2013616 (2012)"},{"key":"783_CR29","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."},{"issue":"1","key":"783_CR30","doi-asserted-by":"publisher","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"},{"key":"783_CR31","unstructured":"Saveliev, D.I.: On two types of ultrafilter extensions of binary relations. arXiv:2001.02456"},{"issue":"4","key":"783_CR32","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1002\/malq.201900045","volume":"65","author":"DI Saveliev","year":"2019","unstructured":"Saveliev, D.I., Shelah, S.: Ultrafilter extensions do not preserve elementary equivalence. Math. Log. Q. 65(4), 511\u2013516 (2019)","journal-title":"Math. Log. Q."},{"key":"783_CR33","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/BF02787572","volume":"15","author":"S Shelah","year":"1973","unstructured":"Shelah, S.: There are just four second-order quantifiers. Israel J. Math. 15, 282\u2013300 (1973)","journal-title":"Israel J. Math."},{"key":"783_CR34","doi-asserted-by":"publisher","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. Am. Math. Soc. 41, 375\u2013481 (1937)","journal-title":"Trans. Am. Math. Soc."},{"issue":"1","key":"783_CR35","first-page":"20","volume":"30","author":"JFAK van Benthem","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"},{"issue":"1","key":"783_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2273696","volume":"44","author":"JFAK van Benthem","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"},{"key":"783_CR37","unstructured":"Venema, Y.: Model definability, purely modal. In: J.\u00a0Gerbrandy et\u00a0al. (eds). JFAK. Essays Dedicated to Johan van Benthem on the Occasion on his 50th Birthday. Amsterdam (1999)"},{"key":"783_CR38","doi-asserted-by":"publisher","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."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-021-00783-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-021-00783-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-021-00783-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,5]],"date-time":"2021-07-05T10:07:35Z","timestamp":1625479655000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-021-00783-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,22]]},"references-count":38,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021,7]]}},"alternative-id":["783"],"URL":"https:\/\/doi.org\/10.1007\/s00153-021-00783-6","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,6,22]]},"assertion":[{"value":"1 September 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 March 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 June 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}