{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T08:32:01Z","timestamp":1772526721480,"version":"3.50.1"},"reference-count":54,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1989,10,1]],"date-time":"1989-10-01T00:00:00Z","timestamp":623203200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":8690,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[1989,10]]},"DOI":"10.1016\/0168-0072(89)90032-8","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T03:39:29Z","timestamp":1027654769000},"page":"173-242","source":"Crossref","is-referenced-by-count":175,"title":["Varieties of complex algebras"],"prefix":"10.1016","volume":"44","author":[{"given":"Robert","family":"Goldblatt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0168-0072(89)90032-8_BIB1","series-title":"Distributive Lattices","author":"Balbes","year":"1974"},{"key":"10.1016\/0168-0072(89)90032-8_BIB2","series-title":"Admissible Sets and Structures","author":"Barwise","year":"1975"},{"key":"10.1016\/0168-0072(89)90032-8_BIB3","series-title":"Models and Ultraproducts","author":"Bell","year":"1969"},{"key":"10.1016\/0168-0072(89)90032-8_BIB4","doi-asserted-by":"crossref","first-page":"55","DOI":"10.2307\/2272270","article-title":"A note on modal formulas and relational properties","volume":"40","author":"van Benthem","year":"1975","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(89)90032-8_BIB5","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1017\/S0022481200051495","article-title":"Modal formulas are either elementary or not \u03a3\u0394-elementary","volume":"41","author":"van Benthem","year":"1976","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(89)90032-8_BIB6","article-title":"Modal Correspondence Theory","author":"van Benthem","year":"1976","journal-title":"Doctoral dissertation"},{"key":"10.1016\/0168-0072(89)90032-8_BIB7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2273696","article-title":"Canonical modal logics and ultrafilter extensions","volume":"44","author":"van Benthem","year":"1979","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(89)90032-8_BIB8","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/BF00370316","article-title":"Some kinds of modal completeness","volume":"39","author":"van Benthem","year":"1980","journal-title":"Studia Logica"},{"key":"10.1016\/0168-0072(89)90032-8_BIB9","series-title":"Modal Logic and Classical Logic","author":"van Benthem","year":"1983"},{"key":"10.1016\/0168-0072(89)90032-8_BIB10","first-page":"322","article-title":"On the equational class of diagonalisable algebras","volume":"34","author":"Bernadi","year":"1975","journal-title":"Studia Logica"},{"key":"10.1016\/0168-0072(89)90032-8_BIB11","doi-asserted-by":"crossref","first-page":"221","DOI":"10.2307\/2273184","article-title":"The lattice of modal logics: an algebraic investigation","volume":"45","author":"Blok","year":"1980","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(89)90032-8_BIB12","series-title":"The Unprovability of Consistency","author":"Boolos","year":"1979"},{"key":"10.1016\/0168-0072(89)90032-8_BIB13","series-title":"Model Theory","author":"Chang","year":"1973"},{"key":"10.1016\/0168-0072(89)90032-8_BIB14","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1002\/malq.19590051405","article-title":"Modal logics between S4 and S5","volume":"5","author":"Dummett","year":"1959","journal-title":"Z. Math. Logik Grundlag. Math."},{"key":"10.1016\/0168-0072(89)90032-8_BIB15","first-page":"29","article-title":"Persistent and invariant formulas for outer extensions","volume":"20","author":"Feferman","year":"1968","journal-title":"Compositio Math."},{"key":"10.1016\/0168-0072(89)90032-8_BIB16","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1111\/j.1755-2567.1974.tb00076.x","article-title":"An incomplete logic containing S4","volume":"40","author":"Fine","year":"1974","journal-title":"Theoria"},{"key":"10.1016\/0168-0072(89)90032-8_BIB17","series-title":"Proc. Third Scandinavian Logic Symposium","first-page":"15","article-title":"Some connections between modal and elementary logic","volume":"82","author":"Fine","year":"1975"},{"key":"10.1016\/0168-0072(89)90032-8_BIB18","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1305\/ndjfl\/1093891703","article-title":"Normal forms in modal logic","volume":"16","author":"Fine","year":"1975","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.1016\/0168-0072(89)90032-8_BIB19","doi-asserted-by":"crossref","first-page":"35","DOI":"10.2307\/2272267","article-title":"First-order definability in modal logic","volume":"40","author":"Goldblatt","year":"1975","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(89)90032-8_BIB20_1","first-page":"41","article-title":"Metamathematics of modal logic","volume":"6","author":"Goldblatt","year":"1976","journal-title":"Rep. Math. Logic"},{"key":"10.1016\/0168-0072(89)90032-8_BIB20_2","first-page":"21","article-title":"Metamathematics of modal logic","volume":"7","author":"Goldblatt","year":"1976","journal-title":"Rep. Math. Logic"},{"key":"10.1016\/0168-0072(89)90032-8_BIB21","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1002\/malq.19810273104","article-title":"Grothendieck topology as geometric modality","volume":"27","author":"Goldblatt","year":"1981","journal-title":"Z. Math. Logik Grundlag. Math."},{"key":"10.1016\/0168-0072(89)90032-8_BIB22","article-title":"Topoi","volume":"98","author":"Goldblatt","year":"1984"},{"key":"10.1016\/0168-0072(89)90032-8_BIB23","series-title":"Algebra and Logic","first-page":"163","article-title":"Axiomatic classes in propositional modal logic","volume":"450","author":"Goldblatt","year":"1975"},{"key":"10.1016\/0168-0072(89)90032-8_BIB24","series-title":"Universal Algebra","author":"Gr\u00e4tzer","year":"1968"},{"key":"10.1016\/0168-0072(89)90032-8_BIB25","series-title":"Lattice Theory: First Concepts and Distributive Lattices","author":"Gr\u00e4tzer","year":"1971"},{"key":"10.1016\/0168-0072(89)90032-8_BIB26","doi-asserted-by":"crossref","first-page":"223","DOI":"10.4064\/fm-60-3-223-231","article-title":"Some relational systems and the associated topological spaces","volume":"60","author":"Grzegorczyk","year":"1967","journal-title":"Fund. Math."},{"key":"10.1016\/0168-0072(89)90032-8_BIB27","first-page":"217","article-title":"Algebraic logic I. Monadic Boolean algebras","volume":"12","author":"Halmos","year":"1955","journal-title":"Compositio Math."},{"key":"10.1016\/0168-0072(89)90032-8_BIB28","article-title":"Cylindric Algebras, Part I","volume":"64","author":"Henkin","year":"1971"},{"key":"10.1016\/0168-0072(89)90032-8_BIB29","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/BF01194512","article-title":"A duality for Boolean algebras with operators","volume":"17","author":"Hansoul","year":"1983","journal-title":"Algebra Universalis"},{"key":"10.1016\/0168-0072(89)90032-8_BIB30","series-title":"Category Theory","author":"Herrlich","year":"1973"},{"key":"10.1016\/0168-0072(89)90032-8_BIB31","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1090\/S0002-9947-1969-0251026-X","article-title":"Prime ideal structure in commutative rings","volume":"142","author":"Hochster","year":"1969","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/0168-0072(89)90032-8_BIB32","series-title":"Topos Theory","author":"Johnstone","year":"1977"},{"key":"10.1016\/0168-0072(89)90032-8_BIB33","series-title":"Stone Spaces","author":"Johnstone","year":"1982"},{"key":"10.1016\/0168-0072(89)90032-8_BIB34","doi-asserted-by":"crossref","first-page":"110","DOI":"10.7146\/math.scand.a-10850","article-title":"Algebras whose congruence lattices are distributive","volume":"21","author":"J\u00f3nsson","year":"1967","journal-title":"Math. Scand."},{"key":"10.1016\/0168-0072(89)90032-8_BIB35","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","article-title":"Boolean algebras with operators, Part I","volume":"73","author":"J\u00f3nsson","year":"1951","journal-title":"Amer. J. Math."},{"key":"10.1016\/0168-0072(89)90032-8_BIB36","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","article-title":"Boolean algebras with operators, Part II","volume":"74","author":"J\u00f3nsson","year":"1952","journal-title":"Amer. J. Math."},{"key":"10.1016\/0168-0072(89)90032-8_BIB37","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/BF02483710","article-title":"Equations not preserved by complete extensions","volume":"15","author":"Kramer","year":"1982","journal-title":"Algebra Universalis"},{"key":"10.1016\/0168-0072(89)90032-8_BIB38_1","doi-asserted-by":"crossref","first-page":"46","DOI":"10.2307\/2270619","article-title":"Algebraic semantics for modal logics","volume":"31","author":"Lemmon","year":"1966","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(89)90032-8_BIB38_2","doi-asserted-by":"crossref","first-page":"191","DOI":"10.2307\/2269810","volume":"31","year":"1966","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(89)90032-8_BIB39","article-title":"Topics in Relation Algebras","author":"Maddux","year":"1978","journal-title":"Doctoral dissertation"},{"key":"10.1016\/0168-0072(89)90032-8_BIB40","series-title":"Mathematical Logic","author":"Monk","year":"1976"},{"key":"10.1016\/0168-0072(89)90032-8_BIB41","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1112\/blms\/2.2.186","article-title":"Representation of distributive lattices by means of ordered Stone spaces","volume":"2","author":"Priestly","year":"1970","journal-title":"Bull. London Math. Soc."},{"key":"10.1016\/0168-0072(89)90032-8_BIB42","series-title":"Orders: Description and Roles","first-page":"39","article-title":"Ordered sets and duality for distributive lattices","author":"Priestly","year":"1984"},{"key":"10.1016\/0168-0072(89)90032-8_BIB43","series-title":"The Mathematics of Metamathematics","author":"Rasiowa","year":"1963"},{"key":"10.1016\/0168-0072(89)90032-8_BIB44","series-title":"An Essay in Classical Modal Logic","author":"Segerberg","year":"1971"},{"key":"10.1016\/0168-0072(89)90032-8_BIB45","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1090\/S0273-0979-1982-15002-9","article-title":"Fixed point algebras","volume":"6","author":"Smorynski","year":"1982","journal-title":"Bull. (New Series) Amer. Math. Soc."},{"key":"10.1016\/0168-0072(89)90032-8_BIB46","first-page":"37","article-title":"The theory of representations for Boolean algebras","volume":"40","author":"Stone","year":"1936","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/0168-0072(89)90032-8_BIB47","doi-asserted-by":"crossref","first-page":"1","DOI":"10.21136\/CPMF.1938.124080","article-title":"Topological representations of distributive lattices and Brouwerian logics","volume":"67","author":"Stone","year":"1937","journal-title":"\u010casopis pro P\u011bstov\u00e1n\u00ed Matematiky a Fysiky"},{"key":"10.1016\/0168-0072(89)90032-8_BIB48","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/1969080","article-title":"The algebra of topology","volume":"45","author":"Tarski","year":"1944","journal-title":"Ann. of Math."},{"key":"10.1016\/0168-0072(89)90032-8_BIB49","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1016\/S1385-7258(55)50009-6","article-title":"Contributions to the theory of models III","volume":"17","author":"Tarski","year":"1955","journal-title":"Indag. Math."},{"key":"10.1016\/0168-0072(89)90032-8_BIB50","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2272558","article-title":"Semantic analysis of tense logics","volume":"37","author":"Thomason","year":"1972","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(89)90032-8_BIB51","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1111\/j.1755-2567.1974.tb00077.x","article-title":"An incompleteness theorem in modal logic","volume":"40","author":"Thomason","year":"1974","journal-title":"Theoria"},{"key":"10.1016\/0168-0072(89)90032-8_BIB52","series-title":"The Theory of Groups","author":"Zassenhaus","year":"1949"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007289900328?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007289900328?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,5,14]],"date-time":"2021-05-14T21:47:20Z","timestamp":1621028840000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0168007289900328"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,10]]},"references-count":54,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1989,10]]}},"alternative-id":["0168007289900328"],"URL":"https:\/\/doi.org\/10.1016\/0168-0072(89)90032-8","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[1989,10]]}}}