Nội dung được dịch bởi AI, chỉ mang tính chất tham khảo
Các cặp đại số tương đương cơ bản liên quan đến tập hợp
Tóm tắt
Tính tương đương cơ bản giữa hai đại số quan hệ đầy đủ, lưới phân hoạch hoặc tập hợp hàm được chỉ ra là tương đương với tính tương đương bậc hai của các cấp số của các tập hợp tương ứng. Điều này được chứng minh là có liên quan đến tính tương đương cơ bản của các nhóm hoán vị và số thứ tự. Các tập hợp hàm vô hạn được chỉ ra là siêu phổ quát.
Từ khóa
#tương đương cơ bản #đại số quan hệ #lưới phân hoạch #tập hợp hàm #nhóm hoán vị #số thứ tự #siêu phổ quátTài liệu tham khảo
Bruyns, P. andRose, H,Varieties with cofinal sets. Preprint.
Burris, S. andSankapanavar, H. P. A course in Universal Algebra, Springer-Verlag, New York, 1981, p. 213.
Chang, C. C. andKeisler, H. J.,Model Theory, North-Holland, Amsterdam, 1973, p. 300.
Grätzer, G.,General Lattice Theory, Birkhausen Verlag, Basel & Stuttgart, 1978.
Ježek, J.,Elementary non-equivalent infinite partition lattices. Algebra Universalis20 (1985), 132–133.
Jónsson, B. andTarski, A.,Boolean algebras with operators, II, Amer. J. Math.74 (1952), 127–162.
McKenzie, R.,On elementary types of symmetric groups, Algebra Universalis1 (1971), 13–20.
McKinsey, J. C. C.,Postulates for the calculus of binary relations, J. Sym. Logic5 (1940), 85 -97.
Shelah, S.,First order theory of permutation groups, Israel J. Math.14 (1973), 149–162. See also Errata to the above Israel J. Math.15 (1973), 437–141.
Shelah, S.,There are just four second order quantifiers, Israel J. Math.15 (1973), 282–300.