Compartir
Heyting Algebras: Duality Theory (en Inglés)
Leo Esakia
(Autor)
·
Springer
· Tapa Dura
Heyting Algebras: Duality Theory (en Inglés) - Esakia, Leo ; Bezhanishvili, Guram ; Holliday, Wesley H.
$ 85.25
$ 89.99
Ahorras: $ 4.74
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis ListasSe enviará desde nuestra bodega entre el
Jueves 13 de Junio y el
Viernes 14 de Junio.
Lo recibirás en cualquier lugar de Estados Unidos entre 1 y 3 días hábiles luego del envío.
Reseña del libro "Heyting Algebras: Duality Theory (en Inglés)"
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 first of 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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Dura.
✓ Producto agregado correctamente al carro, Ir a Pagar.
