{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,2]],"date-time":"2023-05-02T10:14:04Z","timestamp":1683022444451},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1981,12,1]],"date-time":"1981-12-01T00:00:00Z","timestamp":376012800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch math Logik"],"published-print":{"date-parts":[[1981,12]]},"DOI":"10.1007\/bf02011631","type":"journal-article","created":{"date-parts":[[2005,8,5]],"date-time":"2005-08-05T06:05:22Z","timestamp":1123221922000},"page":"13-35","source":"Crossref","is-referenced-by-count":13,"title":["The theorems of beth and Craig in abstract model theory II. Compact logics"],"prefix":"10.1007","volume":"21","author":[{"given":"J. A.","family":"Makowsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Shelah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02011631_CR1","doi-asserted-by":"crossref","first-page":"293","DOI":"10.2140\/pjm.1977.72.293","volume":"72.2","author":"L. Badger","year":"1977","unstructured":"Badger, L.: An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications. Pac. J. Math.72.2, 293\u2013304 (1977).","journal-title":"Pac. J. Math."},{"key":"BF02011631_CR2","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0003-4843(74)90016-3","volume":"7","author":"K.J. Barwise","year":"1974","unstructured":"Barwise, K.J.: Axioms for abstract model theory. Ann. Math. Logic7, 221\u2013265 (1974).","journal-title":"Ann. Math. Logic"},{"key":"BF02011631_CR3","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0003-4843(78)90003-7","volume":"1312","author":"K.J. Barwise","year":"1978","unstructured":"Barwise, K.J., Kaufmann, M., Makkai, M.: Stationary logic. Ann. Math. Logic1312, 171\u2013224 (1978).","journal-title":"Ann. Math. Logic"},{"key":"BF02011631_CR4","unstructured":"Baumgartner, J.: Results and independence proofs in constructible set theory. Ph.D. Dissertation, Berkely 1970."},{"key":"BF02011631_CR5","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/BF02761379","volume":"31","author":"S. Ben-David","year":"1978","unstructured":"Ben-David, S.: On Shelah's compactness of cardinals. Israel J. Mathematics31, 34\u201356 (1978).","journal-title":"Israel J. Mathematics"},{"key":"BF02011631_CR6","unstructured":"Caicedo, X.: On extensions ofL(Q 1). Notices AMS 77T-E49."},{"key":"BF02011631_CR7","unstructured":"Chang, C.C., Keisler, J.: Model theory, 2nd ed. Amsterdam 1977."},{"key":"BF02011631_CR8","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF01183050","volume":"142","author":"H.D. Ebbinghaus","year":"1975","unstructured":"Ebbinghaus, H.D.: ZumL(Q)-Interpolationsproblem. Math. Zeitschr.142, 271\u2013279 (1975).","journal-title":"Math. Zeitschr."},{"key":"BF02011631_CR9","doi-asserted-by":"crossref","first-page":"129","DOI":"10.4064\/fm-49-2-129-141","volume":"49","author":"A. Ehrenfeucht","year":"1961","unstructured":"Ehrenfeucht, A.: An application of games to the completeness problem for formalized theories. Fund. Math.49, 129 (1961).","journal-title":"Fund. Math."},{"key":"BF02011631_CR10","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/BF02762675","volume":"14","author":"H. Friedman","year":"1973","unstructured":"Friedman, H.: Beth's theorem in cardinality logic. Israel J. Mathematics14, 205\u2013212 (1973).","journal-title":"Israel J. Mathematics"},{"key":"BF02011631_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9939-1964-0168484-2","volume":"15.1","author":"H. Gaifman","year":"1964","unstructured":"Gaifman, H., Specker, E.P.: Isomorphism types of trees. Proc. Am. Math. Soc.15.1, 1\u20137 (1964).","journal-title":"Proc. Am. Math. Soc."},{"key":"BF02011631_CR12","unstructured":"Herrgott, G.: Diplomarbeit, Berlin 1978."},{"key":"BF02011631_CR13","first-page":"1","volume":"36","author":"T. Jech","year":"1977","unstructured":"Jech, T.: Trees. VSL36, 1\u201314 (1977).","journal-title":"VSL"},{"key":"BF02011631_CR14","unstructured":"Kaufmann, M.: Ph.D. Thesis, Madison 1977."},{"key":"BF02011631_CR15","first-page":"1","volume":"1.1","author":"J. Keisler","year":"1969","unstructured":"Keisler, J.: Logic with the quantifier \u201cthere exist uncountably many\u201d. Ann. Math. Logic1.1, 1\u201393 (1969).","journal-title":"Ann. Math. Logic"},{"key":"BF02011631_CR16","unstructured":"Lipner, L.D.: Some aspects of generalized quantifiers. Ph.D. Dissertation, Berkely 1970."},{"key":"BF02011631_CR17","first-page":"227","volume":"12","author":"M. Magidor","year":"1977","unstructured":"Magidor, M., Malitz, J.: Compact extensions ofL(Q). Ann. Math. Logic12, 227\u2013261 (1977).","journal-title":"Ann. Math. Logic"},{"key":"BF02011631_CR18","unstructured":"Makowsky, J.A.: The model theory of positive logic (in preparation)."},{"key":"BF02011631_CR19","unstructured":"Makowsky, J.A.: Quantifying over countable sets: positive logic vs stationary logic (to appear)."},{"key":"BF02011631_CR20","unstructured":"Makowsky, J.A.: Elementary equivalence and defininability in stationary logic. Preprint, Berlin 1977."},{"key":"BF02011631_CR21","first-page":"215","volume":"256","author":"J.A. Makowsky","year":"1979","unstructured":"Makowsky, J.A., Shelah, S.: The theorems of Beth and Craig in abstract model theory. I. The abstract setting. Trans. A.M.S.256, 215\u2013239 (1979).","journal-title":"Trans. A.M.S."},{"key":"BF02011631_CR22","unstructured":"Makowsky, J.A., Shelah, S.: The theorems of Beth and Craig in abstract model theory. III. \u0394-logics and infinitary logic (in preparation)."},{"key":"BF02011631_CR23","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0003-4843(76)90021-8","volume":"10","author":"J.A. Makowsky","year":"1976","unstructured":"Makowsky, J.A., Shelah, S., Stavi, J.: \u0394-logic and generalized quantifiers. Ann. Math. Logic10, 155\u2013192 (1976).","journal-title":"Ann. Math. Logic"},{"key":"BF02011631_CR24","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF02007264","volume":"18","author":"J.A. Makowsky","year":"1977","unstructured":"Makowsky, J.A., Tulipani, S.: Some model theory for monotone quantifiers. Arch. math. Logik18, 115\u2013134 (1977).","journal-title":"Arch. math. Logik"},{"key":"BF02011631_CR25","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0003-4843(72)90017-4","volume":"5","author":"W. Mitchell","year":"1972","unstructured":"Mitchell, W.: Aronszajn trees and the independence of the transferproperty. Ann. Math. Logic5, 21\u201346 (1972).","journal-title":"Ann. Math. Logic"},{"key":"BF02011631_CR26","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1090\/S0002-9947-1975-0376334-6","volume":"204","author":"S. Shelah","year":"1975","unstructured":"Shelah, S.: Generalized quantifiers and compact logic. Trans. Am. Math. Soc.204, 342\u2013364 (1975).","journal-title":"Trans. Am. Math. Soc."},{"key":"BF02011631_CR27","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF02011630","volume":"21","author":"S. Shelah","year":"1981","unstructured":"Shelah, S.: Models with second order properties. III. Quitting types forL(Q). Arch. math. Logik21, 3\u201311 (1981).","journal-title":"Arch. math. Logik"},{"key":"BF02011631_CR28","doi-asserted-by":"crossref","first-page":"247","DOI":"10.2307\/2272971","volume":"37","author":"S. Shelah","year":"1972","unstructured":"Shelah, S.: On models with power-like orderings. JSL37, 247\u2013267 (1972).","journal-title":"JSL"},{"key":"BF02011631_CR29","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF02019776","volume":"15","author":"A.B. Slomson","year":"1972","unstructured":"Slomson, A.B.: Generalized quantifiers and well orderings. Arch. math. Logik15, 57\u201373 (1972).","journal-title":"Arch. math. Logik"},{"key":"BF02011631_CR30","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1007\/BF02790755","volume":"12","author":"S. Vinner","year":"1972","unstructured":"Vinner, S.: A generalization of Ehrenfeucht's game and some applications. Israel J. Mathematics12, 280\u2013298 (1972).","journal-title":"Israel J. Mathematics"},{"key":"BF02011631_CR31","first-page":"337","volume":"17.6","author":"A. Wojciechowska","year":"1969","unstructured":"Wojciechowska, A.: Generalized products forQ \u03b1-languages. Bull. de l'Acad. Polon. des Sc., Serie des SC. Math., astr. et phys.17.6, 337\u2013339 (1969).","journal-title":"Bull. de l'Acad. Polon. des Sc., Serie des SC. Math., astr. et phys."},{"key":"BF02011631_CR32","doi-asserted-by":"crossref","first-page":"617","DOI":"10.2307\/2269697","volume":"31","author":"M. Yasuhara","year":"1966","unstructured":"Yasuhara, M.: Syntactical and semantical properties of generalized quantifiers. JSL31, 617\u2013632 (1966).","journal-title":"JSL"},{"key":"BF02011631_CR33","unstructured":"Ziegler, M.: Topological model theory. Lecture notes, Freiburg 1978."}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011631.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02011631\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011631","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T22:24:56Z","timestamp":1557786296000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02011631"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981,12]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1981,12]]}},"alternative-id":["BF02011631"],"URL":"https:\/\/doi.org\/10.1007\/bf02011631","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1981,12]]}}}