메뉴 건너뛰기




Volumn 357, Issue 11, 2005, Pages 4579-4605

Canonical varieties with no canonical axiomatisation

Author keywords

Canonical axiomatisation; Canonical equation; Canonical modal logic; Canonical variety; Canonicity; Chromatic number; Game; Inverse system; Random graph; Relation algebra

Indexed keywords


EID: 27844518737     PISSN: 00029947     EISSN: None     Source Type: Journal    
DOI: 10.1090/S0002-9947-04-03743-2     Document Type: Article
Times cited : (27)

References (41)
  • 1
    • 0003200656 scopus 로고
    • Algebraic logic
    • North-Holland, Amsterdam. MR1153415 (92m:03003)
    • H. Andréka, J. D. Monk, and I. Németi (eds.), Algebraic logic, Colloq. Math. Soc. J. Bolyai, vol. 54, North-Holland, Amsterdam, 1991. MR1153415 (92m:03003)
    • (1991) Colloq. Math. Soc. J. Bolyai , vol.54
    • Andréka, H.1    Monk, J.D.2    Németi, I.3
  • 2
    • 84959697692 scopus 로고
    • On the structure of abstract algebras
    • G. Birkhoff, On the structure of abstract algebras, Proc. Cambr. Philos. Soc. 31 (1935), 433-454.
    • (1935) Proc. Cambr. Philos. Soc. , vol.31 , pp. 433-454
    • Birkhoff, G.1
  • 4
    • 0040197131 scopus 로고
    • Undecidability of the disjunction property of propositional logics and other related problems
    • MR1242050 (941:03048)
    • A. Chagrov and M. Zakharyaschev, Undecidability of the disjunction property of propositional logics and other related problems, Journal of Symbolic Logic 58 (1993), 49-82. MR1242050 (941:03048)
    • (1993) Journal of Symbolic Logic , vol.58 , pp. 49-82
    • Chagrov, A.1    Zakharyaschev, M.2
  • 5
    • 0040585653 scopus 로고    scopus 로고
    • Modal logic
    • Clarendon Press, Oxford. MR1464942 (98e:03021)
    • _, Modal logic, Oxford Logic Guides, vol. 35, Clarendon Press, Oxford, 1997. MR1464942 (98e:03021)
    • (1997) Oxford Logic Guides , vol.35
  • 6
    • 0040988836 scopus 로고
    • An undecidable problem in correspondence theory
    • MR1136455 (93b:03075)
    • L. Chagrova, An undecidable problem in correspondence theory, Journal of Symbolic Logic 56 (1991), 1261-1272. MR1136455 (93b:03075)
    • (1991) Journal of Symbolic Logic , vol.56 , pp. 1261-1272
    • Chagrova, L.1
  • 7
    • 0003335779 scopus 로고    scopus 로고
    • Graph theory
    • Springer-Verlag, Berlin. MR1448665
    • R. Diestel, Graph theory, Graduate Texts in Mathematics, vol. 173, Springer-Verlag, Berlin, 1997. MR1448665
    • (1997) Graduate Texts in Mathematics , vol.173
    • Diestel, R.1
  • 8
    • 0001869610 scopus 로고
    • Graph theory and probability
    • MR0102081 (21:876)
    • P. Erdös, Graph theory and probability, Canadian Journal of Mathematics 11 (1959), 34-38. MR0102081 (21:876)
    • (1959) Canadian Journal of Mathematics , vol.11 , pp. 34-38
    • Erdös, P.1
  • 10
    • 0037833495 scopus 로고    scopus 로고
    • Simulating polyadic modal logics by monadic ones
    • MR1976585 (2004d:03036)
    • G. Goguadze, C. Piazza, and Y. Venema, Simulating polyadic modal logics by monadic ones, Journal of Symbolic Logic 68 (2003), 419-462. MR1976585 (2004d:03036)
    • (2003) Journal of Symbolic Logic , vol.68 , pp. 419-462
    • Goguadze, G.1    Piazza, C.2    Venema, Y.3
  • 11
    • 0002687894 scopus 로고
    • Metamathematics of modal logic
    • R. Goldblatt, Metamathematics of modal logic, Reports on Math. Logic 6 (1976), 4-77.
    • (1976) Reports on Math. Logic , vol.6 , pp. 4-77
    • Goldblatt, R.1
  • 12
    • 0003363747 scopus 로고
    • Mathematics of modality
    • Reprinted in, CSLI Publications, Stanford. MR0536321 (58:27331a)
    • (Reprinted in: R. Goldblatt, Mathematics of modality, Lecture notes, vol. 43, CSLI Publications, Stanford, 1993). MR0536321 (58:27331a)
    • (1993) Lecture Notes , vol.43
    • Goldblatt, R.1
  • 13
    • 0000205398 scopus 로고
    • Varieties of complex algebras
    • MR1020344 (91d:08005)
    • _, Varieties of complex algebras, Ann. Pure. Appl. Logic 44 (1989), 173-242. MR1020344 (91d:08005)
    • (1989) Ann. Pure. Appl. Logic , vol.44 , pp. 173-242
  • 14
    • 0002885928 scopus 로고
    • Combinatorial relations and chromatic graphs
    • MR0067467 (16:733g)
    • R. E. Greenwood and A. M. Gleason, Combinatorial relations and chromatic graphs, Canadian Journal of Mathematics 7 (1955), 1-7. MR0067467 (16:733g)
    • (1955) Canadian Journal of Mathematics , vol.7 , pp. 1-7
    • Greenwood, R.E.1    Gleason, A.M.2
  • 15
    • 0031285579 scopus 로고    scopus 로고
    • Step by step - Building representations in algebraic logic
    • MR1450522 (98g:03145)
    • R. Hirsch and I. Hodkinson, Step by step - building representations in algebraic logic, Journal of Symbolic Logic 62 (1997), no. 1, 225-279. MR1450522 (98g:03145)
    • (1997) Journal of Symbolic Logic , vol.62 , Issue.1 , pp. 225-279
    • Hirsch, R.1    Hodkinson, I.2
  • 16
    • 27844607144 scopus 로고    scopus 로고
    • Relation algebras by games
    • North-Holland, Amsterdam. MR1935083 (2003m:03001)
    • _, Relation algebras by games, Studies in Logic and the Foundations of Mathematics, vol. 147, North-Holland, Amsterdam, 2002. MR1935083 (2003m:03001)
    • (2002) Studies in Logic and the Foundations of Mathematics , vol.147
  • 17
    • 0035994071 scopus 로고    scopus 로고
    • Strongly representable atom structures of relation algebras
    • MR1887031 (2002k:03113)
    • _, Strongly representable atom structures of relation algebras, Proc. Amer. Math. Soc. 130 (2002), 1819-1831. MR1887031 (2002k:03113)
    • (2002) Proc. Amer. Math. Soc. , vol.130 , pp. 1819-1831
  • 18
    • 0000497518 scopus 로고    scopus 로고
    • Atom structures of cylindric algebras and relation algebras
    • MR1490103 (99c:03103)
    • I. Hodkinson, Atom structures of cylindric algebras and relation algebras, Annals of Pure and Applied Logic 89 (1997), 117-148. MR1490103 (99c:03103)
    • (1997) Annals of Pure and Applied Logic , vol.89 , pp. 117-148
    • Hodkinson, I.1
  • 19
    • 2942664009 scopus 로고
    • Every world can see a reflexive world
    • MR1094537 (91m:03016)
    • G. Hughes, Every world can see a reflexive world, Studia Logica 49 (1989), 175-181. MR1094537 (91m:03016)
    • (1989) Studia Logica , vol.49 , pp. 175-181
    • Hughes, G.1
  • 21
    • 84968502770 scopus 로고
    • Representation of modular lattices and of relation algebras
    • MR0108459 (21:7175)
    • B. Jónsson, Representation of modular lattices and of relation algebras, Trans. Amer. Math. Soc. 92 (1959), 449-464. MR0108459 (21:7175)
    • (1959) Trans. Amer. Math. Soc. , vol.92 , pp. 449-464
    • Jónsson, B.1
  • 22
    • 0000736892 scopus 로고    scopus 로고
    • Andréka et al. [1]. MR1153429 (93b:03114)
    • _, The theory of binary relations, In Andréka et al. [1], pp. 245-292. MR1153429 (93b:03114)
    • The Theory of Binary Relations , pp. 245-292
  • 23
    • 0001521953 scopus 로고
    • Boolean algebras with operators I
    • MR0044502 (13:426c)
    • B. Jónsson and A. Tarski, Boolean algebras with operators I, American Journal of Mathematics 73 (1951), 891-939. MR0044502 (13:426c)
    • (1951) American Journal of Mathematics , vol.73 , pp. 891-939
    • Jónsson, B.1    Tarski, A.2
  • 24
    • 0003369048 scopus 로고    scopus 로고
    • Tools and techniques in modal logic
    • North-Holland, Amsterdam. MR1707315 (2000h:03041)
    • M. Kracht, Tools and Techniques in Modal Logic, Studies in Logic and the Foundations of Mathematics, vol. 142, North-Holland, Amsterdam, 1999. MR1707315 (2000h:03041)
    • (1999) Studies in Logic and the Foundations of Mathematics , vol.142
    • Kracht, M.1
  • 25
    • 0033455162 scopus 로고    scopus 로고
    • Normal modal logics can simulate all others
    • MR1683898 (2000g:03048)
    • M. Kracht and F. Wolter, Normal modal logics can simulate all others, Journal of Symbolic Logic 64 (1999), pp. 99-138. MR1683898 (2000g:03048)
    • (1999) Journal of Symbolic Logic , vol.64 , pp. 99-138
    • Kracht, M.1    Wolter, F.2
  • 26
    • 0001449873 scopus 로고
    • The representation of relational algebras
    • MR0037278 (12:237a)
    • R. Lyndon, The representation of relational algebras, Annals of Mathematics 51 (1950), no. 3, 707-729. MR0037278 (12:237a)
    • (1950) Annals of Mathematics , vol.51 , Issue.3 , pp. 707-729
    • Lyndon, R.1
  • 27
    • 0001487934 scopus 로고
    • The representation of relation algebras, II
    • MR0079570 (18:106f)
    • _, The representation of relation algebras, II, Annals of Mathematics 63 (1956), no. 2, 294-307. MR0079570 (18:106f)
    • (1956) Annals of Mathematics , vol.63 , Issue.2 , pp. 294-307
  • 28
    • 0003171144 scopus 로고
    • Relation algebras and protective geometries
    • MR0122743 (23:A83)
    • _, Relation algebras and protective geometries, Michigan Mathematics Journal 8 (1961), 207-210. MR0122743 (23:A83)
    • (1961) Michigan Mathematics Journal , vol.8 , pp. 207-210
  • 29
    • 0003178338 scopus 로고
    • A sequent calculus for relation algebras
    • MR0722170 (85h:03067)
    • R. Maddux, A sequent calculus for relation algebras, Annals of Pure and Applied Logic 25 (1983), 73-101. MR0722170 (85h:03067)
    • (1983) Annals of Pure and Applied Logic , vol.25 , pp. 73-101
    • Maddux, R.1
  • 32
    • 0000453693 scopus 로고
    • On representable relation algebras
    • MR0172797 (30:3016)
    • J. D. Monk, On representable relation algebras, Michigan Mathematics Journal 11 (1964), 207-210. MR0172797 (30:3016)
    • (1964) Michigan Mathematics Journal , vol.11 , pp. 207-210
    • Monk, J.D.1
  • 33
    • 0041192846 scopus 로고
    • Algebraic methods in logic and computer science
    • Polish Academy of Sciences. MR1446270 (97k:03003)
    • C. Rauszer (ed.), Algebraic Methods in Logic and Computer Science, volume 28 of Banach Center Publications, Polish Academy of Sciences, 1993. MR1446270 (97k:03003)
    • (1993) Banach Center Publications , vol.28
    • Rauszer, C.1
  • 34
    • 84968486072 scopus 로고
    • The theory of representations for boolean algebras
    • MR1501865
    • M. Stone, The theory of representations for boolean algebras, Trans. Amer. Math. Soc. 40 (1936), 37-111. MR1501865
    • (1936) Trans. Amer. Math. Soc. , vol.40 , pp. 37-111
    • Stone, M.1
  • 35
    • 0003036898 scopus 로고
    • On the calculus of relations
    • MR0005280 (3:130e)
    • A. Tarski, On the calculus of relations, Journal of Symbolic Logic 6 (1941), 73-89. MR0005280 (3:130e)
    • (1941) Journal of Symbolic Logic , vol.6 , pp. 73-89
    • Tarski, A.1
  • 36
    • 0002012425 scopus 로고
    • Contributions to the theory of models, III
    • (= Indag. Math. 17). MR0066303 (16:554h)
    • _, Contributions to the theory of models, III, Koninkl. Nederl. Akad. Wetensch Proc. 58 (= Indag. Math. 17) (1955), 56-64. MR0066303 (16:554h)
    • (1955) Koninkl. Nederl. Akad. Wetensch Proc. , vol.58 , pp. 56-64
  • 37
    • 27844505426 scopus 로고
    • Undecidability of the completeness problem of modal logic
    • Universal algebra and applications, PNW-Polish Scientific Publishers, Warszawa. MR0738827 (85e:03051)
    • S. Thomason, Undecidability of the completeness problem of modal logic, Universal algebra and applications, Banach Center Publications, vol. 9, PNW-Polish Scientific Publishers, Warszawa, 1982, pp. 341-345. MR0738827 (85e:03051)
    • (1982) Banach Center Publications , vol.9 , pp. 341-345
    • Thomason, S.1
  • 38
    • 0000890459 scopus 로고    scopus 로고
    • Atom structures and Sahlqvist equations
    • MR1609043 (99g:06019)
    • Y. Venema, Atom structures and Sahlqvist equations, Algebra Universalis 38 (1997), 185-199. MR1609043 (99g:06019)
    • (1997) Algebra Universalis , vol.38 , pp. 185-199
    • Venema, Y.1
  • 39
    • 27844587581 scopus 로고    scopus 로고
    • Zakharyaschev et al. [40]. MR1838261 (2002c:03037)
    • _, Canonical pseudo-correspondence, In Zakharyaschev et al. [40], pages 439-448. MR1838261 (2002c:03037)
    • Canonical Pseudo-correspondence , pp. 439-448
  • 40
    • 0038171276 scopus 로고    scopus 로고
    • Atomless varieties
    • MR1976593 (2004g:03108)
    • _, Atomless varieties, Journal of Symbolic Logic 68 (2003), 607-614. MR1976593 (2004g:03108)
    • (2003) Journal of Symbolic Logic , vol.68 , pp. 607-614


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.