Leo Esakia: Heyting Algebras
Heyting Algebras
Buch
- Duality Theory
- Originaltitel: Heyting Algebras I. Duality Theory
- Herausgeber: Guram Bezhanishvili, Wesley H. Holliday
- Übersetzung: Anton Evseev
- Springer International Publishing AG, 07/2019
- Einband: Gebunden, HC runder Rücken kaschiert
- Sprache: Englisch
- ISBN-13: 9783030120955
- Bestellnummer: 8919448
- Umfang: 112 Seiten
- Nummer der Auflage: 19001
- Auflage: 1st ed. 2019
- Gewicht: 319 g
- Maße: 241 x 159 mm
- Stärke: 15 mm
- Erscheinungstermin: 17.7.2019
- Serie: Trends in Logic - Band 50
Achtung: Artikel ist nicht in deutscher Sprache!
Weitere Ausgaben von Heyting Algebras
Klappentext
This book presents an English translation of a classic Russian text on duality theoryfor 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.
Esakiäs book was originally published in 1985. It was the firstof 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.