[1825 days] Relation Algebras by Games
[1825 days] Relation Algebras by Games [1825 days] Relation Algebras by Games

[1825 days] Relation Algebras by Games

CHI TIẾT SẢN PHẨM

Mã sản phẩm:
9780444509321
Tồn kho:
Còn hàng
Nhà xuất bản:
Loại bìa:
Page Fidelity
Ngôn ngữ:
English
Tác giả:
Hirsch, R.; Hodkinson, I.


Special Price 4,953,000 VNĐ

Còn 100,000,000,000,000,000 VNĐ nữa bạn sẽ được miễn phí giao hàngTìm hiểu thêm

Thời gian giao hàng Xem thêm

Chính sách đổi trả Xem thêm

Số lượng

Relation algebras are algebras arising from the study of binary relations.
They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of representations of relation algebras. Games allow an intuitive and appealing approach to the subject, and permit substantial advances to be made. The book contains many new results and proofs not published elsewhere. It should be invaluable to graduate students and researchers interested in relation algebras and games.



After an introduction describing the authors' perspective on the material, the text proper has six parts. The lengthy first part is devoted to background material, including the formal definitions of relation algebras, cylindric algebras, their basic properties, and some connections between them. Examples are given. Part 1 ends with a short survey of other work beyond the scope of the book. In part 2, games are introduced, and used to axiomatise various classes of algebras. Part 3 discusses approximations to representability, using bases, relation algebra reducts, and relativised representations. Part 4 presents some constructions of relation algebras, including Monk algebras and the 'rainbow construction', and uses them to show that various classes of representable algebras are non-finitely axiomatisable or even non-elementary. Part 5 shows that the representability problem for finite relation algebras is undecidable, and then in contrast proves some finite base property results. Part 6 contains a condensed summary of the book, and a list of problems. There are more than 400 exercises.



The book is generally self-contained on relation algebras and on games, and introductory text is scattered throughout. Some familiarity with elementary aspects of first-order logic and set theory is assumed, though many of the definitions are given. Chapter 2 introduces the necessary universal algebra and model theory, and more specific model-theoretic ideas are explained as they arise.

Không có đánh giá cho sản phẩm này.

Sản phẩm liên quan

New
[1825 days] How to Cheat at Configuring Exchange Server 2007: Including Outlook Web, Mobile, and Voice Access

The Perfect Reference for the Multitasked System AdministratorsThe new version of Exchange is an amb..

1,066,000 VNĐ

New
[1825 days] Computational Electromagnetism: Variational Formulations, Complementarity, Edge Elements

Computational Electromagnetism refers to the modern concept of computer-aided analysis, and design, ..

3,124,500 VNĐ

New
[1825 days] 18th European Symposium on Computer Aided Process Engineering

The 18th European Symposium on Computer Aided Process Engineering contains papers presented at the 1..

16,637,000 VNĐ

New
[1825 days] Green Chemistry and Engineering

Chemical processes provide a diverse array of valuable products and materials used in applications r..

2,463,000 VNĐ

New
[1825 days] ADVANCES IN CATALYSIS VOLUME 38

ADVANCES IN CATALYSIS VOLUME 38..

1,853,000 VNĐ

0898536989