{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T22:47:46Z","timestamp":1649198866784},"reference-count":23,"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\/bf02011632","type":"journal-article","created":{"date-parts":[[2005,8,5]],"date-time":"2005-08-05T06:05:22Z","timestamp":1123221922000},"page":"37-54","source":"Crossref","is-referenced-by-count":3,"title":["Topological model theory with an interior operator: Consistency properties and back \u2014 and forth arguments"],"prefix":"10.1007","volume":"21","author":[{"given":"J. A.","family":"Makowsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Ziegler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02011632_CR1","unstructured":"Burger, Charlotte N.: Some remarks on countable topological spaces. Seminar-report, FU Berlin 1971."},{"key":"BF02011632_CR2","first-page":"599","volume-title":"Lecture Notes in Mathematics, Vol. 337","author":"C.C. Chang","year":"1971","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. Berlin, Heidelberg, New York: Springer 1971."},{"key":"BF02011632_CR3","volume-title":"Model theory","author":"C.C. Chang","year":"1977","unstructured":"Chang, C.C., Keisler, H.J.: Model theory, second ed. Amsterdam: North-Holland 1977.","edition":"second ed."},{"key":"BF02011632_CR4","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.: Application of games to the completeness problem for formalized theories. Fund. Math.49, 129\u2013141 (1961).","journal-title":"Fund. Math."},{"key":"BF02011632_CR5","doi-asserted-by":"crossref","first-page":"57","DOI":"10.4064\/fm-47-1-57-103","volume":"47","author":"S. Feferman","year":"1959","unstructured":"Feferman, S., Vaught, R.: The first order properties of algebraic systems. Fund. Math.47, 57\u2013103 (1959).","journal-title":"Fund. Math."},{"key":"BF02011632_CR6","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. of Math. Logic14, 13\u201337 (1978).","journal-title":"Ann. of Math. Logic"},{"key":"BF02011632_CR7","volume-title":"Model theory for infinitary logic","author":"H.J. Keisler","year":"1971","unstructured":"Keisler, H.J.: Model theory for infinitary logic. Amsterdam: North-Holland 1971."},{"key":"BF02011632_CR8","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\u201393 (1970).","journal-title":"Ann. of Math. Logic"},{"key":"BF02011632_CR9","first-page":"187","volume":"32","author":"P. Lindstr\u00f6m","year":"1966","unstructured":"Lindstr\u00f6m, P.: First order logic and generalized quantifiers. Theoria32, 187\u2013195 (1966).","journal-title":"Theoria"},{"key":"BF02011632_CR10","unstructured":"Makowsky, J.A.: Topological model theory; a survey. Model theory and applications (Mangani, ed.). Rome 1975."},{"key":"BF02011632_CR11","first-page":"137","volume":"42.1","author":"J.A. Makowsky","year":"1977","unstructured":"Makowsky, J.A.: A logic for topological structures with an interior operator. JSL42.1, 137 (1977).","journal-title":"JSL"},{"key":"BF02011632_CR12","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/malq.19770230702","volume":"R3","author":"J.A. Makowsky","year":"1977","unstructured":"Makowsky, J.A., Marcja, A.: Completeness theorems for modal model theory with the Montagne-Chang semantics. I. Z. Math. Logik u. Grundlagen d. MathematikR3, 97\u2013104 (1977).","journal-title":"Z. Math. Logik u. Grundlagen d. Mathematik"},{"key":"BF02011632_CR13","unstructured":"Makowsky, J.A., Marcja, A.: Problemi di decidibilit\u00e0 in logica topologica. Rend. d. sem. d. Univ. Padova (to appear)."},{"key":"BF02011632_CR14","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":"BF02011632_CR15","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1002\/malq.19750210154","volume":"21","author":"T. McKee","year":"1975","unstructured":"McKee, T.: Inifinitary logic and topological homeomorphism. Z. Math. Logik u. Grundlagen d. Mathematik21, 405\u2013408 (1975).","journal-title":"Z. Math. Logik u. Grundlagen d. Mathematik"},{"key":"BF02011632_CR16","doi-asserted-by":"crossref","first-page":"159","DOI":"10.4064\/fm-81-2-159-171","volume":"81.2","author":"A. Robinson","year":"1974","unstructured":"Robinson, A.: A note on topological model theory. Fund. Math.81.2, 159\u2013171 (1974).","journal-title":"Fund. Math."},{"key":"BF02011632_CR17","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. of Math. Logic11, 173\u2013193 (1977).","journal-title":"Ann. of Math. Logic"},{"key":"BF02011632_CR18","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 topologics. Isr. I. Math.25, 249\u2013272 (1976).","journal-title":"Isr. I. Math."},{"key":"BF02011632_CR19","doi-asserted-by":"crossref","unstructured":"Sgro, J.: The interior operator and product topologies. TAMS (to appear).","DOI":"10.1090\/S0002-9947-1980-0554321-4"},{"key":"BF02011632_CR20","unstructured":"Sgro, J.: An application of topological model theory to Chang's modal logic (preprint)."},{"key":"BF02011632_CR21","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\u00f6ms theorem. BAMS82, 568\u2013570 (1976).","journal-title":"BAMS"},{"key":"BF02011632_CR22","volume-title":"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":"BF02011632_CR23","unstructured":"Ebbinghaus, H.-D., Ziegler, M.: Interpolation in Logiken monotoner Systeme. Arch. Math. Logik (to appear)."}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011632.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02011632\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011632","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\/BF02011632"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981,12]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1981,12]]}},"alternative-id":["BF02011632"],"URL":"https:\/\/doi.org\/10.1007\/bf02011632","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1981,12]]}}}