{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T18:22:32Z","timestamp":1698258152666},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1980,6,1]],"date-time":"1980-06-01T00:00:00Z","timestamp":328665600000},"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":[[1980,6]]},"DOI":"10.1007\/bf02318022","type":"journal-article","created":{"date-parts":[[2006,2,15]],"date-time":"2006-02-15T16:16:19Z","timestamp":1140020179000},"page":"1-17","source":"Crossref","is-referenced-by-count":1,"title":["Interpolation in Logiken monotoner systeme"],"prefix":"10.1007","volume":"22","author":[{"given":"H. -D.","family":"Ebbinghaus","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Ziegler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02318022_CR1","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":"BF02318022_CR2","doi-asserted-by":"crossref","first-page":"34","DOI":"10.4153\/CJM-1959-003-9","volume":"11","author":"P. Erd\u00f6s","year":"1959","unstructured":"Erd\u00f6s, P.: Graph theory and probability. Canad. J. Math.11, 34\u201338 (1959).","journal-title":"Canad. J. Math."},{"key":"BF02318022_CR3","volume-title":"Topological model theory. Lecture Notes in Mathematics, Vol. 769","author":"J. Flum","year":"1980","unstructured":"Flum, J., Ziegler, M.: Topological model theory. Lecture Notes in Mathematics, Vol. 769. Berlin, Heidelberg, New York: Springer 1980."},{"key":"BF02318022_CR4","doi-asserted-by":"crossref","first-page":"291","DOI":"10.4064\/fm-54-3-291-302","volume":"54","author":"G. Fuhrken","year":"1964","unstructured":"Fuhrken, G.: Skolem type normal forms for first order languages with a generalized quantifier. Fund. Math.54, 291\u2013302 (1964).","journal-title":"Fund. Math."},{"key":"BF02318022_CR5","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/0003-4843(78)90006-2","volume":"14","author":"S. Garavaglia","year":"1978","unstructured":"Garavaglia, S.: Model theory of topological structures. Ann. Math. Logic14, 13\u201337 (1978).","journal-title":"Ann. Math. Logic"},{"key":"BF02318022_CR6","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0003-4843(77)90019-5","volume":"11","author":"M. Magidor","year":"1977","unstructured":"Magidor, M., Malitz, J.: Compact extensions ofL(Q). Ann. Math. Logic11, 217\u2013261 (1977).","journal-title":"Ann. Math. Logic"},{"key":"BF02318022_CR7","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":"BF02318022_CR8","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/BF02011632","volume":"21","author":"J.A. Makowsky","year":"1981","unstructured":"Makowsky, J.A., Ziegler, M.: Topological model theory with an interior operator. Arch. math. Logik21, 37\u201354 (1981).","journal-title":"Arch. math. Logik"},{"key":"BF02318022_CR9","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/BF02757004","volume":"25","author":"J. Sgro","year":"1976","unstructured":"Sgro, J.: Completeness theorems for continuous functions and product topologies. Israel J. Math.25, 249\u2013272 (1976).","journal-title":"Israel J. Math."},{"key":"BF02318022_CR10","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0003-4843(77)90016-X","volume":"11","author":"J. Sgro","year":"1977","unstructured":"Sgro, J.: Completeness theorems for topological models. Ann. Math. Logic11, 173\u2013193 (1977).","journal-title":"Ann. Math. Logic"},{"key":"BF02318022_CR11","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1090\/S0002-9947-1980-0554321-4","volume":"258","author":"J. Sgro","year":"1980","unstructured":"Sgro, J.: The interior operator logic and product topologies. Transactions of the American Math. Soc.258, 99\u2013112 (1980).","journal-title":"Transactions of the American Math. Soc."},{"key":"BF02318022_CR12","unstructured":"Slomson, A.B.: Some problems in mathematical logic. Thesis, Oxford 1967."},{"key":"BF02318022_CR13","doi-asserted-by":"crossref","first-page":"568","DOI":"10.1090\/S0002-9904-1976-14104-3","volume":"82","author":"M. Ziegler","year":"1976","unstructured":"Ziegler, M.: A language for topological structures which satisfies a Lindstr\u00f6m theorem. Bull. Am. Math. Soc.82, 568\u2013570 (1976).","journal-title":"Bull. Am. Math. Soc."}],"container-title":["Archiv f\u00fcr mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02318022.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02318022\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02318022","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T17:57:36Z","timestamp":1558029456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02318022"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980,6]]},"references-count":13,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1980,6]]}},"alternative-id":["BF02318022"],"URL":"https:\/\/doi.org\/10.1007\/bf02318022","relation":{},"ISSN":["0003-9268","1432-0665"],"issn-type":[{"value":"0003-9268","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1980,6]]}}}