Relation Algebras by Games

افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.

ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده

از خودتان درباره کتاب توضیح کوتاهی بنویسید

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.

لغو

گزارش تخلف

مغایرت عنوان کتاب با توضیحات و تصویر جلد
عدم رعایت حقوق نشر طبق قوانین جمهوری اسلامی ایران
محتوای مستهجن
توهین به قومیتها و محتوای نژادپرستی
توهین به اقیلیتهای مذهبی
اهانت به مقامات سیاسی و مذهبی
اشاعه ی کودک آزاری
سایر موارد

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2002

نویسنده

I. Hodkinson

ناشر

North-Holland

شابک

9780080540450

20,000 تومان

خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

خرید کتاب Relation Algebras by Games

Relation Algebras by Games

گزارش تخلف

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2002

نویسنده

ناشر

شابک

کتاب های مرتبط

Early Hollywood

Cemeteries of Seattle

Seattle's Green Lake

U.S. Penitentiary Leavenworth

Aubuchon Hardware

9780738574509

Great Sand Dunes National Park

Hot Rodding in Ventura County

San Francisco's Twin Peaks

Paramedic Crash Course with Online Practice Test

Bob Miller's math for the new GRE

The essentials of United States history, 1500 to 1789, from colony to republic

Wheels of Life

Jude's Herbal Home Remedies

Your Neighborhood Gives Me the Creeps

Serpent of Wisdom

Heal Yourself with Angels

Llewellyn's Truth about Chakras

Spirit Boards for Beginners

The Ghost in the Coal Cellar

365 Ways to Attract Good Luck

دیدگاه کاربران