توضیحات
This book presents an English translation of a classic Russian text on duality theory
for Heyting algebras. Written by Georgian mathematician Leo Esakia, the text proved
popular among Russian-speaking logicians. This translation helps make the ideas
accessible to a wider audience and pays tribute to an influential mind in mathematical
logic.
The book discusses the theory of Heyting algebras and closure algebras, as
well as the corresponding intuitionistic and modal logics. The author introduces the
key notion of a hybrid that crossbreeds topology (Stone spaces) and order (Kripke
frames), resulting in the structures now known as Esakia spaces. The main theorems
include a duality between the categories of closure algebras and of hybrids, and a duality
between the categories of Heyting algebras and of so-called strict hybrids.
Esakias book was originally published in 1985. It was the first of a planned two-volume monograph
on Heyting algebras. But after the collapse of the Soviet Union, the publishing house
closed and the project died with it. Fortunately, this important work now lives on in
this accessible translation. The Appendix of the book discusses the planned contents
of the lost second volume.
————————————————————–
ترجمه ماشینی :
این کتاب ترجمه انگلیسی یک متن کلاسیک روسی در مورد نظریه دوگانگی
برای جبرهای هیتینگ را ارائه میکند. این متن که توسط ریاضیدان گرجی لئو اساکیا نوشته شده بود در میان منطق دانان روسی زبان محبوب
شد. این ترجمه کمک میکند تا ایدهها
در دسترس مخاطبان وسیعتری قرار گیرد و به ذهنی تأثیرگذار در منطق ریاضی
تقدیم میشود.
این کتاب در مورد تئوری جبرهای هیتینگ و جبرهای بسته، و همچنین منطق شهودی و مدی مربوطه بحث میکند. نویسنده مفهوم کلیدی
هیبریدی را معرفی میکند که توپولوژی (فضاهای سنگی) و نظم (فریمهای کریپک) را تلاقی میکند و در نتیجه ساختارهایی را که اکنون به عنوان فضاهای اساکیا شناخته میشوند، ایجاد میکند. قضایای اصلی
شامل دوگانگی بین دستههای جبرهای بسته و هیبریدها، و دوگانگی
بین دستههای جبرهای هیتینگ و به اصطلاح هیبریدهای سخت است.
>
کتاب اساکیا در ابتدا در سال 1985 منتشر شد. این اولین کتاب از یک تک نگاری دو جلدی برنامه ریزی شده
در مورد جبرهای هایتینگ بود. اما پس از فروپاشی اتحاد جماهیر شوروی، انتشارات
تعطیل شد و پروژه با آن از بین رفت. خوشبختانه، این اثر مهم اکنون در
این ترجمه قابل دسترس ادامه دارد. ضمیمه کتاب در مورد مطالب برنامه ریزی شده
جلد دوم گمشده بحث می کند.
tag : دانلود کتاب جبر هیتینگ: نظریه دوگانگی , Download جبر هیتینگ: نظریه دوگانگی , دانلود جبر هیتینگ: نظریه دوگانگی , Download Heyting Algebras: Duality Theory Book , جبر هیتینگ: نظریه دوگانگی دانلود , buy جبر هیتینگ: نظریه دوگانگی , خرید کتاب جبر هیتینگ: نظریه دوگانگی , دانلود کتاب Heyting Algebras: Duality Theory , کتاب Heyting Algebras: Duality Theory , دانلود Heyting Algebras: Duality Theory , خرید Heyting Algebras: Duality Theory , خرید کتاب Heyting Algebras: Duality Theory ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.