{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:09Z","timestamp":1740108189749,"version":"3.37.3"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T00:00:00Z","timestamp":1657324800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T00:00:00Z","timestamp":1657324800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"National Science Foundation","award":["DMS 1833363"],"award-info":[{"award-number":["DMS 1833363"]}]},{"DOI":"10.13039\/501100003977","name":"Israel Science Foundation","doi-asserted-by":"crossref","award":["1838\/19"],"award-info":[{"award-number":["1838\/19"]}],"id":[{"id":"10.13039\/501100003977","id-type":"DOI","asserted-by":"crossref"}]},{"name":"European Research Council","award":["338821"],"award-info":[{"award-number":["338821"]}]},{"DOI":"10.13039\/501100002341","name":"Academy of Finland","doi-asserted-by":"crossref","award":["322795"],"award-info":[{"award-number":["322795"]}],"id":[{"id":"10.13039\/501100002341","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["DMS 1833363"],"award-info":[{"award-number":["DMS 1833363"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"publisher","award":["101020762"],"award-info":[{"award-number":["101020762"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2023,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Lindstr\u00f6m\u2019s Theorem characterizes first order logic as the maximal logic satisfying the Compactness Theorem and the Downward L\u00f6wenheim-Skolem Theorem. If we do not assume that logics are closed under negation, there is an obvious extension of first order logic with the two model theoretic properties mentioned, namely existential second order logic. We show that existential second order logic has a whole family of proper extensions satisfying the Compactness Theorem and the Downward L\u00f6wenheim-Skolem Theorem. Furthermore, we show that in the context of negation-less logics,<jats:italic>positive logics<\/jats:italic>, as we call them, there is no strongest extension of first order logic with the Compactness Theorem and the Downward L\u00f6wenheim-Skolem Theorem.<\/jats:p>","DOI":"10.1007\/s00153-022-00837-3","type":"journal-article","created":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T12:02:37Z","timestamp":1657368157000},"page":"207-223","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Positive logics"],"prefix":"10.1007","volume":"62","author":[{"given":"Saharon","family":"Shelah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4356-7974","authenticated-orcid":false,"given":"Jouko","family":"V\u00e4\u00e4n\u00e4nen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,7,9]]},"reference":[{"key":"837_CR1","unstructured":"Barwise, J., Feferman, S. (eds.): Model-theoretic logics. Perspect. Math. Log. Springer, Berlin (1985)"},{"issue":"2","key":"837_CR2","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1017\/S0022481200051604","volume":"41","author":"J Barwise","year":"1976","unstructured":"Barwise, J., Schlipf, J.: An introduction to recursively saturated and resplendent models. J. Symbolic Logic 41(2), 531\u2013536 (1976)","journal-title":"J. Symbolic Logic"},{"key":"837_CR3","doi-asserted-by":"crossref","unstructured":"Ben\u00a0Yaacov, I., Berenstein, A., Ward Henson, C., Usvyatsov, A.: Model theory for metric structures. In: Model theory with applications to algebra and analysis. Vol. 2, volume 350 of London Math. Soc. Lecture Note Ser., pp. 315\u2013427. Cambridge Univ. Press, Cambridge (2008)","DOI":"10.1017\/CBO9780511735219.011"},{"issue":"4","key":"837_CR4","doi-asserted-by":"publisher","first-page":"1141","DOI":"10.2178\/jsl\/1203350777","volume":"72","author":"I Ben Yaacov","year":"2007","unstructured":"Ben Yaacov, I., Poizat, B.: Fondements de la logique positive. J. Symbolic Logic 72(4), 1141\u20131162 (2007)","journal-title":"J. Symbolic Logic"},{"key":"837_CR5","volume-title":"Model theory, volume 73 Studies in Logic and the Foundations of Mathematics","author":"CC Chang","year":"1990","unstructured":"Chang, C.C., Keisler, H.J.: Model theory, volume 73 Studies in Logic and the Foundations of Mathematics, 3rd edn. North-Holland Publishing Co., Amsterdam (1990)","edition":"3"},{"key":"837_CR6","doi-asserted-by":"crossref","unstructured":"Ebbinghaus, H.-D.: Extended logics: the general framework. In: Model-theoretic logics, Perspect. Math. Logic, pp. 25\u201376. Springer, New York (1985)","DOI":"10.1017\/9781316717158.005"},{"key":"837_CR7","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Matos, M., V\u00e4\u00e4n\u00e4nen, J.: Abstract model theory as a framework for universal logic. In: Logica universalis, pp. 19\u201333. Birkh\u00e4user, Basel (2005)","DOI":"10.1007\/3-7643-7304-0_2"},{"key":"837_CR8","unstructured":"Hyttinen, T.: Games and infinitary languages. Ann. Acad. Sci. Fenn. Ser. A I Math. Dissertationes (64):32 (1987)"},{"key":"837_CR9","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1111\/j.1755-2567.1966.tb00600.x","volume":"32","author":"P Lindstr\u00f6m","year":"1966","unstructured":"Lindstr\u00f6m, P.: First order predicate logic with generalized quantifiers. Theoria 32, 186\u2013195 (1966)","journal-title":"Theoria"},{"key":"837_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1111\/j.1755-2567.1969.tb00356.x","volume":"35","author":"P Lindstr\u00f6m","year":"1969","unstructured":"Lindstr\u00f6m, P.: On extensions of elementary logic. Theoria 35, 1\u201311 (1969)","journal-title":"Theoria"},{"key":"837_CR11","doi-asserted-by":"crossref","unstructured":"Mann, A.L., Sandu, G., Sevenster, M.: Independence-friendly logic, volume 386 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge (2011). A game-theoretic approach","DOI":"10.1017\/CBO9780511981418"},{"key":"837_CR12","volume-title":"Classification theory and the number of nonisomorphic models, volume 92 of Studies in Logic and the Foundations of Mathematics","author":"S Shelah","year":"1990","unstructured":"Shelah, S.: Classification theory and the number of nonisomorphic models, volume 92 of Studies in Logic and the Foundations of Mathematics, 2nd edn. North-Holland Publishing Co., Amsterdam (1990)","edition":"2"},{"key":"837_CR13","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/BF02771574","volume":"10","author":"S Shelah","year":"1971","unstructured":"Shelah, S.: Every two elementarily equivalent models have isomorphic ultrapowers. Israel J. Math. 10, 224\u2013233 (1971)","journal-title":"Israel J. Math."},{"issue":"1","key":"837_CR14","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/s00153-004-0212-8","volume":"44","author":"S Shelah","year":"2005","unstructured":"Shelah, S., V\u00e4\u00e4n\u00e4nen, J.: A note on extensions of infinitary logic. Arch. Math. Logic 44(1), 63\u201369 (2005)","journal-title":"Arch. Math. Logic"},{"key":"837_CR15","doi-asserted-by":"crossref","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Dependence logic, volume 70 of London Mathematical Society Student Texts. Cambridge University Press, Cambridge (2007). (A new approach to independence friendly logic)","DOI":"10.1017\/CBO9780511611193"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-022-00837-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-022-00837-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-022-00837-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,24]],"date-time":"2023-11-24T11:37:17Z","timestamp":1700825837000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-022-00837-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,9]]},"references-count":15,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2023,2]]}},"alternative-id":["837"],"URL":"https:\/\/doi.org\/10.1007\/s00153-022-00837-3","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2022,7,9]]},"assertion":[{"value":"7 August 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 June 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 July 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}