{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T18:59:24Z","timestamp":1777143564356,"version":"3.51.4"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1977,12,1]],"date-time":"1977-12-01T00:00:00Z","timestamp":249782400000},"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":[[1977,12]]},"DOI":"10.1007\/bf02007264","type":"journal-article","created":{"date-parts":[[2005,8,10]],"date-time":"2005-08-10T14:09:10Z","timestamp":1123682950000},"page":"115-134","source":"Crossref","is-referenced-by-count":17,"title":["Some model theory for monotone quantifiers"],"prefix":"10.1007","volume":"18","author":[{"given":"J. A.","family":"Makowsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Tulipani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02007264_CR1","doi-asserted-by":"crossref","unstructured":"Barwise, J.: Admissible sets and structures. Berlin 1975.","DOI":"10.1007\/978-3-662-11035-5"},{"key":"BF02007264_CR2","unstructured":"Broesterhuizen, G. A.: Structures for a logic with additional generalized quantifier. Thesis, Nijmegen 1974."},{"key":"BF02007264_CR3","doi-asserted-by":"crossref","unstructured":"Chang, C. C.: Modal model theory. Proceedings of the Cambridge summer school in mathematical logic, Lecture notes in Mathematics, Vol. 337, pp. 599\u2013617.","DOI":"10.1007\/BFb0066792"},{"key":"BF02007264_CR4","unstructured":"Chang, C. C., Keisler, J.: Model theory. Studies in logic, Vol. 73. Amsterdam 1973."},{"key":"BF02007264_CR5","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF01969703","volume":"12","author":"H. D. Ebbinghaus","year":"1969","unstructured":"Ebbinghaus, H. D.: \u00dcber f\u00fcr-fast-alle-Quantoren. Arch. math. Logik12, 179\u2013193 (1969).","journal-title":"Arch. math. Logik"},{"key":"BF02007264_CR6","unstructured":"Flum, J.: First order logic and its extensions. Proceedings of the Logic Conference Kiel 1974, Lecture Notes in Mathematics, Vol. 499"},{"key":"BF02007264_CR7","unstructured":"Friedman, H.: Why first order logic. Stanford 1970 (mimeographed)."},{"key":"BF02007264_CR8","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":"BF02007264_CR9","unstructured":"Keisler, J.: Model theory for infinitary languages. Studies in Logic, Vol. 62. Amsterdam 1971."},{"key":"BF02007264_CR10","unstructured":"Makowsky, J. A.: Topological model theory, a survey. Proceedings of the CIME on model theory 1975 (to appear)."},{"key":"BF02007264_CR11","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. logic. 10, 155\u2013192 (1976)","journal-title":"Ann math. logic."},{"key":"BF02007264_CR12","unstructured":"Makowsky, J. A., Ziegler, M.: Topological model theory with an interior operator (to appear)."},{"key":"BF02007264_CR13","unstructured":"Moschovakis, Y.: Elementary induction on abstract structures. Studies in Logic, Vol. 77. Amsterdam 1974."},{"key":"BF02007264_CR14","unstructured":"Sgro, J.: Thesis, Madison 1974."},{"key":"BF02007264_CR15","unstructured":"Slomson, A. B.: Some problems in mathematical logic. Thesis, Oxford 1967."},{"key":"BF02007264_CR16","doi-asserted-by":"crossref","unstructured":"Magidor, M., Malitz, J.: Compact extensions ofL(Q). Ann. Math. Logic, (1977) 11.","DOI":"10.1016\/0003-4843(77)90019-5"},{"key":"BF02007264_CR17","unstructured":"Lyndon, R.: Notes on logic. Princeton 1966."}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007264.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02007264\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007264","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T20:14:17Z","timestamp":1586376857000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02007264"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977,12]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1977,12]]}},"alternative-id":["BF02007264"],"URL":"https:\/\/doi.org\/10.1007\/bf02007264","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1977,12]]}}}