This book presents an English translation of a classic Russian text on duality theoryfor Heyting algebras. Written by Georgian mathematician Leo Esakia, the text provedpopular among Russian-speaking logicians. This translation helps make the ideasaccessible to a wider audience and pays tribute to an influential mind in mathematicallogic. The book discusses the theory of Heyting algebras and closure algebras, aswell as the corresponding intuitionistic and modal logics. The author introduces thekey notion of a hybrid that “crossbreeds” topology (Stone spaces) and order (Kripkeframes), resulting in the structures now known as Esakia spaces. The main theoremsinclude a duality between the categories of closure algebras and of hybrids, and a dualitybetween the categories of Heyting algebras and of so-called strict hybrids.Esakia’s book was originally published in 1985. It was the firstof a planned two-volume monographon Heyting algebras. But after the collapse of the Soviet Union, the publishing houseclosed and the project died with it. Fortunately, this important work now lives on inthis accessible translation. The Appendix of the book discusses the planned contentsof the lost second volume.
Les mer
This book presents an English translation of a classic Russian text on duality theoryfor Heyting algebras.
Foreword.- Editor's Note.- Introduction.- Chapter 1. Preliminary Notions and Necessary Facts.- Chapter 2. Heyting Algebras and Closure Algebras.- Chapter 3. Duality Theory: Hybrids.- Appendix.- Bibliography.
Les mer
This book presents an English translation of a classic Russian text on duality theoryfor Heyting algebras. Written by Georgian mathematician Leo Esakia, the text provedpopular among Russian-speaking logicians. This translation helps make the ideasaccessible to a wider audience and pays tribute to an influential mind in mathematicallogic. The book discusses the theory of Heyting algebras and closure algebras, aswell as the corresponding intuitionistic and modal logics. The author introduces thekey notion of a hybrid that “crossbreeds” topology (Stone spaces) and order (Kripkeframes), resulting in the structures now known as Esakia spaces. The main theoremsinclude a duality between the categories of closure algebras and of hybrids, and a dualitybetween the categories of Heyting algebras and of so-called strict hybrids.Esakia’s book was originally published in 1985. It was the firstof a planned two-volume monographon Heyting algebras. But after the collapse of the Soviet Union, the publishing houseclosed and the project died with it. Fortunately, this important work now lives on inthis accessible translation. The Appendix of the book discusses the planned contentsof the lost second volume.
Les mer
“Leo Esakia’s classic monograph is extremely welcome and I hope that it will be widely read. … Moreover, the exposition, in Esakia’s own words and in its entirety, has insights to offer to experienced researchers and relative novices alike. … Esakia’s Introduction to Heyting Algebras. Duality Theory makes interesting reading for its scope and its vision. … The translation brings subsidiary benefits.” (Hilary A. Priestley, Studia Logica, Vol. 109, 2021)“Presenting in a succinct style the brilliant ideas of the author, this book provides an indispensable authentic source for researchers working on dualities between ordered and topological structures with impact on mathematical logic.” (Marcel Erne, Mathematical Reviews, June, 2021)
Les mer
Presents an English translation of an influential 1985 Russian monograph by Leo Esakia Details important insights into duality theory for Heyting algebras Includes information about the planned contents of the lost second volume
Les mer
Produktdetaljer
ISBN
9783030120955
Publisert
2019-07-17
Utgiver
Vendor
Springer Nature Switzerland AG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet
Forfatter
Oversetter