{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:49:35Z","timestamp":1759146575087},"reference-count":22,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2020,1,1]]},"DOI":"10.1215\/00294527-2019-0030","type":"journal-article","created":{"date-parts":[[2019,11,29]],"date-time":"2019-11-29T03:00:29Z","timestamp":1574996429000},"source":"Crossref","is-referenced-by-count":3,"title":["A Lindstr\u00f6m Theorem for Intuitionistic Propositional Logic"],"prefix":"10.1215","volume":"61","author":[{"given":"Guillermo","family":"Badia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grigory","family":"Olkhovikov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"3","unstructured":"[3] Blackburn, P., M. de Rijke, and Y. Venema, <i>Modal Logic<\/i>, vol. 53 of <i>Cambridge Tracts in Theoretical Computer Science<\/i>, Cambridge University Press, Cambridge, 2001."},{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Barwise, K. J., \u201cAxioms for abstract model theory,\u201d <i>Annals of Mathematical Logic<\/i>, vol. 7 (1974), pp. 221\u201365.","DOI":"10.1016\/0003-4843(74)90016-3"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Barwise, J., \u201cModel-Theoretic Logics: Background and Aims,\u201d pp. 3\u201323 in <i>Model-Theoretic Logics<\/i>, edited by J. Barwise and S. Feferman, vol. 8 of <i>Perspectives in Mathematical Logic<\/i>, Springer, New York, 1985.","DOI":"10.1017\/9781316717158.004"},{"key":"4","unstructured":"[4] Caicedo, X., \u201cContinuous operations on spaces of structures,\u201d pp. 263\u201396 in <i>Quantifiers: Logics, Models and Computation, Vol. 1: Surveys<\/i>, edited by M. Krynicki, M. Mostowski, and L. W. Szczerba, vol. 248of <i>Synthese Library<\/i>, Kluwer, Dordrecht, 1995."},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Chagrov, A., and M. Zakharyaschev, <i>Modal Logic<\/i>, vol. 35 of <i>Oxford Logic Guides<\/i>, Oxford University Press, New York, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"6","unstructured":"[6] de Rijke, M., \u201cA Lindstr\u00f6m theorem for modal logic,\u201d pp. 217\u201330 in <i>Modal Logic and Process Algebra (Amsterdam, 1994)<\/i>, edited by A. Ponse, M. de Rijke, and Y. Venema, vol. 53 of <i>CSLI Lecture Notes<\/i>, CSLI, Stanford, CA, 1995."},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Dontchev, J., \u201cContra-continuous functions and strongly $S$-closed spaces,\u201d <i>International Journal of Mathematical Sciences<\/i>, vol. 19 (1996), pp. 303\u201310.","DOI":"10.1155\/S0161171296000427"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Enqvist, S., \u201cA general Lindstr\u00f6m theorem for some normal modal logics,\u201d <i>Logica Universalis<\/i>, vol. 7 (2013), pp. 233\u201364.","DOI":"10.1007\/s11787-013-0078-9"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Feferman, S., \u201cTwo notes on abstract model theory, I: Properties invariant on the range of definable relations between structures,\u201d <i>Fundamenta Mathematicae<\/i>, vol. 82 (1974), pp. 153\u201365.","DOI":"10.4064\/fm-82-2-153-165"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Flum, J., \u201cFirst-order logic and its extensions,\u201d pp. 248\u2013310 in <i>Proceedings of the International Summer Institute and Logic Colloquium (Kiel, 1974)<\/i>, edited by G. H. M\u00fcller, A. Oberschelp, and K. Potthoff, vol. 499 of <i>Lecture Notes in Mathematics<\/i>, Springer, Berlin, 1975.","DOI":"10.1007\/BFb0079423"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Gabbay, D. M, and L. Maksimova, <i>Interpolation and Definability: Modal and Intuitionistic Logics<\/i>, vol. 46 of <i>Oxford Logic Guides<\/i>, Oxford University Press, Oxford, 2005.","DOI":"10.1093\/acprof:oso\/9780198511748.003.0005"},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] Garc\u00eda-Matos, M., and J. V\u00e4\u00e4n\u00e4nen, \u201cAbstract model theory as a framework for universal logic,\u201d pp. 19\u201333 in <i>Logica Universalis<\/i>, edited by J.-Y. Beziau, Birkh\u00e4user, Basel, 2005.","DOI":"10.1007\/3-7643-7304-0_2"},{"key":"13","unstructured":"[13] Kelley, J. L., <i>General Topology<\/i>, Van Nostrand, Toronto, 1955."},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] Kurtonina, N., and M. de Rijke, \u201cSimulating without negation,\u201d <i>Journal of Logic and Computation<\/i>, vol. 7 (1997), pp. 501\u201322.","DOI":"10.1093\/logcom\/7.4.501"},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] Lindstr\u00f6m, P., \u201cOn extensions of elementary logic,\u201d <i>Theoria<\/i>, vol. 35 (1969), pp. 1\u201311.","DOI":"10.1111\/j.1755-2567.1969.tb00356.x"},{"key":"16","doi-asserted-by":"publisher","unstructured":"[16] Olkhovikov, G. K., \u201cModel-theoretic characterization of intuitionistic propositional formulas,\u201d <i>Review of Symbolic Logic<\/i>, vol. 6 (2013), pp. 348\u201365.","DOI":"10.1017\/S1755020312000342"},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] Olkhovikov, G. K., \u201cModel-theoretic characterization of intuitionistic predicate formulas,\u201d <i>Journal of Logic and Computation<\/i>, vol. 24 (2014), pp. 809\u201329.","DOI":"10.1093\/logcom\/ext014"},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] Olkhovikov, G. K., \u201cOn expressive power of basic modal intuitionistic logic as a fragment of classical FOL,\u201d <i>Journal of Applied Logics<\/i>, vol. 21 (2017), pp. 57\u201390.","DOI":"10.1016\/j.jal.2016.11.036"},{"key":"19","doi-asserted-by":"publisher","unstructured":"[19] Olkhovikov, G. K., \u201cOn generalized Van Benthem-type characterizations,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 168 (2017), pp. 1643\u201391.","DOI":"10.1016\/j.apal.2017.03.002"},{"key":"20","unstructured":"[20] Otto, M., and R. Piro, \u201cA Lindstr\u00f6m characterisation of the guarded fragment and of modal logic with a global modality,\u201d pp. 273\u201387 in <i>Advances in Modal Logic, Vol. 7<\/i>, edited by C. Areces and R. Goldblatt, College Publications, London, 2008."},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21] Rasiowa, H., \u201cA proof of the compactness theorem for arithmetical classes,\u201d <i>Fundamenta Mathematicae<\/i>, vol. 39 (1952), pp. 8\u201314.","DOI":"10.4064\/fm-39-1-8-14"},{"key":"22","doi-asserted-by":"crossref","unstructured":"[22] van Benthem, J., \u201cA new modal Lindstr\u00f6m theorem,\u201d <i>Logica Universalis<\/i>, vol. 1 (2007), pp. 125\u201338.","DOI":"10.1007\/s11787-006-0006-3"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2019-0030","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,27]],"date-time":"2024-07-27T22:04:30Z","timestamp":1722117870000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-61\/issue-1\/A-Lindstr%c3%b6m-Theorem-for-Intuitionistic-Propositional-Logic\/10.1215\/00294527-2019-0030.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,1]]},"references-count":22,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2020,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2019-0030","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2020,1,1]]}}}