{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,27]],"date-time":"2023-10-27T09:11:25Z","timestamp":1698397885997},"reference-count":20,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":4334,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1995,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We discuss some new properties of the natural Galois connection among set relation algebras, permutation groups, and first order logic. In particular, we exhibit infinitely many permutational relation algebras without a Galois closed representation, and we also show that every relation algebra on a set with at most six elements is Galois closed and essentially unique. Thus, we obtain the surprising result that on such sets, logic with three variables is as powerful in expression as full first order logic.<\/jats:p>","DOI":"10.1002\/malq.19950410207","type":"journal-article","created":{"date-parts":[[2007,6,2]],"date-time":"2007-06-02T21:17:02Z","timestamp":1180819022000},"page":"197-216","source":"Crossref","is-referenced-by-count":3,"title":["Binary Relations and Permutation Groups"],"prefix":"10.1002","volume":"41","author":[{"given":"Hajnal","family":"Andr\u00e9ka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivo","family":"D\u00fcntsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1307\/mmj\/1029004592"},{"key":"e_1_2_1_3_2","volume-title":"Expressibility of Properties of Relations","author":"Andr\u00e9ka H.","year":"1994"},{"key":"e_1_2_1_4_2","volume-title":"Representations for Small Relation Algebras","author":"Andr\u00e9ka H.","year":"1988"},{"key":"e_1_2_1_5_2","first-page":"431","volume-title":"Algebraic Logic","author":"Andr\u00e9ka H.","year":"1991"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511600739"},{"key":"e_1_2_1_7_2","unstructured":"Cannon J. A language for group theory. Technical Report University of Sidney 1987."},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1994.1037"},{"key":"e_1_2_1_9_2","first-page":"3","article-title":"Finite model theory \u2010 a personal perspective","volume":"470","author":"Fagin R.","year":"1987","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"e_1_2_1_10_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal Algebra","author":"Gr\u00e4tzer G.","year":"1979"},{"key":"e_1_2_1_11_2","first-page":"1","volume-title":"Trends in Theoretical Computer Science","author":"Gurevich Y.","year":"1988"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(82)90011-3"},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1137\/0216051"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(89)90055-2"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/033\/767117"},{"key":"e_1_2_1_16_2","first-page":"245","volume-title":"Algebraic Logic","author":"J\u00f6nsson B.","year":"1991"},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.2307\/2372074"},{"key":"e_1_2_1_18_2","unstructured":"McKay B. Nauty user guide. Technical Report TR\u2010CS\u201090\u201302 Australian National University 1990."},{"key":"e_1_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1307\/mmj\/1029000477"},{"key":"e_1_2_1_20_2","doi-asserted-by":"crossref","unstructured":"Tarski A. andS.Givant A Formalization of Set Theory without Variables. American Mathematical Society Colloquium Publications 41 Providence RI 1987.","DOI":"10.1090\/coll\/041"},{"key":"e_1_2_1_21_2","volume-title":"Finite Permutation Groups","author":"Wielandt H.","year":"1964"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19950410207","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19950410207","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T19:51:47Z","timestamp":1698349907000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19950410207"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1002\/malq.19950410207"],"URL":"https:\/\/doi.org\/10.1002\/malq.19950410207","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}