Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Heyting Algebras
- Duality Theory
Engelsk
Bogcover for Heyting Algebras af Leo Esakia, 9783030120955
Specifikationer
Sprog:
Engelsk
Sider:
95
ISBN-13:
9783030120955
Indbinding:
Hardback
ISBN-10:
3030120953
Kategori:
Udg. Dato:
17 jul 2019
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
17 jul 2019
Forfatter(e):

Heyting Algebras

- Duality Theory
Engelsk
Hardback 2019
Format:

Bog beskrivelse

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.


Esakia''s 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.


... Vis mere

Forlags Vejl. pris
815,53 kr
Hos Booktok
613 kr
spar 25%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
95
ISBN-13:
9783030120955
Indbinding:
Hardback
ISBN-10:
3030120953
Kategori:
Udg. Dato:
17 jul 2019
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
17 jul 2019
Forfatter(e):
Finder produkter...
Kategori sammenhænge