{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,4]],"date-time":"2023-10-04T03:11:07Z","timestamp":1696389067707},"reference-count":30,"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\/bf02011633","type":"journal-article","created":{"date-parts":[[2005,8,5]],"date-time":"2005-08-05T06:05:22Z","timestamp":1123221922000},"page":"55-68","source":"Crossref","is-referenced-by-count":3,"title":["The role of the Omitting Types Theorem in infinitary logic"],"prefix":"10.1007","volume":"21","author":[{"given":"Jon","family":"Barwise","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02011633_CR1","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0003-4843(74)90016-3","volume":"7","author":"J. Barwise","year":"1974","unstructured":"Barwise, J.: Axioms for abstract model theory. Ann. Math. Logic7, 221\u2013265 (1974).","journal-title":"Ann. Math. Logic"},{"key":"BF02011633_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible sets and structures","author":"J. Barwise","year":"1975","unstructured":"Barwise, J.: Admissible sets and structures. Berlin, Heidelberg, New York: Springer 1975."},{"key":"BF02011633_CR3","unstructured":"Barwise, J.: Monotone quantifiers and admissible sets, generalized recursion theory. II, pp. 1\u201338. North-Holland (1978)."},{"key":"BF02011633_CR4","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/978-94-009-9056-2_6","volume-title":"Modern Logic \u2014 A survey","author":"J. Barwise","year":"1981","unstructured":"Barwise, J.: Infinitary logics, inModern Logic \u2014 A survey, E. Aggazzi, Reidel, 93\u2013112 (1981)."},{"key":"BF02011633_CR5","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0003-4843(70)90006-9","volume":"2","author":"J. Barwise","year":"1970","unstructured":"Barwise, J., Eklof, P.: Infinitary properties of the abelian torsion groups. Ann. Math. Logic2, 25\u201368 (1970).","journal-title":"Ann. Math. Logic"},{"key":"BF02011633_CR6","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0003-4843(78)90003-7","volume":"13","author":"J. Barwise","year":"1978","unstructured":"Barwise, J., Kaufmann, M., Makkai, M.: Stationary logic. Ann. Math. Logic13, 171\u2013224 (1978).","journal-title":"Ann. Math. Logic"},{"key":"BF02011633_CR7","doi-asserted-by":"crossref","first-page":"521","DOI":"10.2307\/2273529","volume":"43","author":"J. Barwise","year":"1978","unstructured":"Barwise, J., Moschovakis, Y.N.: Global inductive definability. J. Symbolic Logic43, 521\u2013534 (1978).","journal-title":"J. Symbolic Logic"},{"key":"BF02011633_CR8","doi-asserted-by":"crossref","first-page":"304","DOI":"10.2307\/2272829","volume":"43","author":"K. Bruce","year":"1978","unstructured":"Bruce, K.: Ideal models and some not so ideal problems in the theory ofL(Q). J. Symbolic Logic43, 304\u2013321 (1978).","journal-title":"J. Symbolic Logic"},{"key":"BF02011633_CR9","first-page":"65","volume":"7","author":"D.A. Bochvar","year":"1940","unstructured":"Bochvar, D.A.: \u00dcber ein Aussagenkalk\u00fcl mit abz\u00e4hlbaren logischen Summen und Produkten. Matematiseskij sbornik7, 65\u2013100 (1940). [Reviewed by H. Curry in Math. Reviews11, (1940) and A. Church in J. Symbolic Logic5, 119 (1940).","journal-title":"Matematiseskij sbornik"},{"key":"BF02011633_CR10","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/BF01733289","volume":"42","author":"R. Carnap","year":"1935","unstructured":"Carnap, R.: Ein G\u00fcltigkeitskriterium f\u00fcr die S\u00e4tze der klassischen Mathematik. Monatshefte f\u00fcr Mathematik und Physik42, 163\u2013190 (1935).","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"key":"BF02011633_CR11","unstructured":"Carnap, R.: The logical syntax of language (Orig., Vienna 1934) London 1937."},{"key":"BF02011633_CR12","unstructured":"Carnap, R.: Formalisation of semantics. Cambridge (Mass.) 1943."},{"key":"BF02011633_CR13","doi-asserted-by":"crossref","first-page":"623","DOI":"10.2307\/2272466","volume":"36","author":"P. Eklof","year":"1971","unstructured":"Eklof, P., Sabbagh, G.: Definability problems for modules and rings. J. Symbolic Logic36, 623\u2013649 (1971).","journal-title":"J. Symbolic Logic"},{"key":"BF02011633_CR14","first-page":"163","volume":"9","author":"A. Grzegorczyk","year":"1961","unstructured":"Grzegorczyk, A., Mostowski, A., Ryll-Nardzewski, C.: Definability of sets in models of axiomatic theories. Bull. Acad. Polon. Sci.9, 163\u2013167 (1961).","journal-title":"Bull. Acad. Polon. Sci."},{"key":"BF02011633_CR15","doi-asserted-by":"crossref","first-page":"183","DOI":"10.2307\/2268617","volume":"19","author":"L. Henkin","year":"1954","unstructured":"Henkin, L.: A generalization of the concept of \u03c9-consistency. J. Symbolic Logic19, 183\u2013196 (1954).","journal-title":"J. Symbolic Logic"},{"key":"BF02011633_CR16","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/BF01206605","volume":"95","author":"D. Hilbert","year":"1926","unstructured":"Hilbert, D.: On the infinite. Math. Ann.95, 161\u2013190 (1926).","journal-title":"Math. Ann."},{"key":"BF02011633_CR17","unstructured":"Karp, C.: Languages with expressions of infinite length. North-Holland (1964)."},{"key":"BF02011633_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0003-4843(70)80005-5","volume":"1","author":"H.J. Keisler","year":"1970","unstructured":"Keisler, H.J.: Logic with the quantifier \u201cthere exist uncountably many\u201d. Ann. of Math. Logic1, 1\u201383 (1970).","journal-title":"Ann. of Math. Logic"},{"key":"BF02011633_CR19","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/BF01458217","volume":"76","author":"L. L\u00f6wenheim","year":"1915","unstructured":"L\u00f6wenheim, L.: On possibilities in the calculus of relatives. Math. Ann.76, 447\u2013470 (1915).","journal-title":"Math. Ann."},{"key":"BF02011633_CR20","first-page":"438","volume":"23","author":"P.S. Novikoff","year":"1939","unstructured":"Novikoff, P.S.: Sur quelques theorems d'existence, Comptes rendus (Doklady) de l'Acad\u00e9mie de Sciences de l'URSS23, 438\u2013440 (1939). [Reviewed by A. Church in J. Symbolic Logic5, 69 (1940).]","journal-title":"Sur quelques theorems d'existence, Comptes rendus (Doklady) de l'Acad\u00e9mie de Sciences de l'URSS"},{"issue":"54","key":"BF02011633_CR21","first-page":"231","volume":"12","author":"P.S. Novikoff","year":"1943","unstructured":"Novikoff, P.S.: On the consistency of certain logical calculus. Matematiceskij sbornik12 (54), 231\u2013261 (1943). [This is an expanded version of the above. It is reviewed by Church, unfairly we feel, in J. Symbolic Logic11, 129 (1946) and by McKinsey in Math. Reviews5, 197 (1944).]","journal-title":"Matematiceskij sbornik"},{"key":"BF02011633_CR22","doi-asserted-by":"crossref","first-page":"246","DOI":"10.2307\/2269096","volume":"21","author":"S. Orey","year":"1956","unstructured":"Orey, S.: On \u03c9-consistency and related properties. J. Symbolic Logic21, 246\u2013252 (1956).","journal-title":"J. Symbolic Logic"},{"key":"BF02011633_CR23","unstructured":"Peirce, C.S.: Collected papers. Cambridge, Mass.: Harvard University Press."},{"key":"BF02011633_CR24","first-page":"238","volume":"25","author":"F.P. Ramsey","year":"1925","unstructured":"Ramsey, F.P.: The foundations of mathematics. Proceedings of the London Mathematical Society, Ser. 2, Vol.25, Part 5, 238\u2013284 (1925).","journal-title":"Proceedings of the London Mathematical Society, Ser. 2"},{"key":"BF02011633_CR25","doi-asserted-by":"crossref","first-page":"129","DOI":"10.2307\/2266293","volume":"2","author":"B. Rosser","year":"1937","unstructured":"Rosser, B.: G\u00f6del theorems for non-constructive logics. J. Symbolic Logic2, 129\u2013137 (1937).","journal-title":"J. Symbolic Logic"},{"key":"BF02011633_CR26","doi-asserted-by":"crossref","first-page":"165","DOI":"10.4064\/cm-6-1-165-170","volume":"6","author":"D.S. Scott","year":"1958","unstructured":"Scott, D.S., Tarski, A.: The sentential calculus with infinitely long expressions. Colloq. Math.6, 165\u2013170 (1958).","journal-title":"Colloq. Math."},{"key":"BF02011633_CR27","unstructured":"Sgro, J.: Logic with the interior operator. Trans. Am. Math. Soc. (to appear)."},{"key":"BF02011633_CR28","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 logics. Trans. Am. Math. Soc.204, 342\u2013364 (1975).","journal-title":"Trans. Am. Math. Soc."},{"key":"BF02011633_CR29","series-title":"Springer Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/BFb0079691","volume-title":"The syntax and semantics of infinitary languages","author":"W.W. Tait","year":"1968","unstructured":"Tait, W.W.: Normal derivability in classical logic. In: The syntax and semantics of infinitary languages. Springer Lecture Notes in Mathematics, Vol.72, pp. 204\u2013236. Berlin, Heidelberg, New York: Springer 1968."},{"key":"BF02011633_CR30","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF01708855","volume":"40","author":"A. Tarski","year":"1933","unstructured":"Tarski, A.: Some observations on the concepts of \u03c9-consistency and \u03c9-completeness. Monatshefte f\u00fcr Mathematik40, 97\u2013112 (1933), reprinted in translation in Tarski's book Logic, semantics, metamathematics, pp. 279\u2013295. Oxford 1956.","journal-title":"Monatshefte f\u00fcr Mathematik"}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011633.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02011633\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011633","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\/BF02011633"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981,12]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1981,12]]}},"alternative-id":["BF02011633"],"URL":"https:\/\/doi.org\/10.1007\/bf02011633","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1981,12]]}}}