LEADER 03157nam  22006375  450 
001 9910299993203321
005 20220413211559.0
010   $a3-319-06743-5
024 7 $a10.1007/978-3-319-06743-8
035   $a(CKB)3710000000202692
035   $a(EBL)1782968
035   $a(OCoLC)889264323
035   $a(SSID)ssj0001296470
035   $a(PQKBManifestationID)11893200
035   $a(PQKBTitleCode)TC0001296470
035   $a(PQKBWorkID)11347355
035   $a(PQKB)10045670
035   $a(MiAaPQ)EBC1782968
035   $a(DE-He213)978-3-319-06743-8
035   $a(PPN)179926454
035   $a(EXLCZ)993710000000202692
100   $a20140718d2014      u|         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aDuality theories for Boolean algebras with operators /$fby Steven Givant
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (246 p.)
225 1 $aSpringer Monographs in Mathematics,$x1439-7382
300   $aDescription based upon print version of record.
311   $a3-319-06742-7 
320   $aIncludes bibliographical references and index.
327   $a1. Algebraic Duality -- 2. Topological Duality -- 3. Hybrid Duality.
330   $aIn this new text, Steven Givant?the author of several acclaimed books, including works co-authored with Paul Halmos and Alfred Tarski?develops three theories of duality for Boolean algebras with operators. Givant addresses the two most recognized dualities (one algebraic and the other topological) and introduces a third duality, best understood as a hybrid of the first two. This text will be of interest to graduate students and researchers in the fields of mathematics, computer science, logic, and philosophy who are interested in exploring special or general classes of Boolean algebras with operators. Readers should be familiar with the basic arithmetic and theory of Boolean algebras, as well as the fundamentals of point-set topology.
410  0$aSpringer Monographs in Mathematics,$x1439-7382
606   $aMathematical logic
606   $aAlgebra
606   $aOrdered algebraic structures
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
606   $aOrder, Lattices, Ordered Algebraic Structures$3https://scigraph.springernature.com/ontologies/product-market-codes/M11124
606   $aGeneral Algebraic Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/M1106X
615  0$aMathematical logic.
615  0$aAlgebra.
615  0$aOrdered algebraic structures.
615 14$aMathematical Logic and Foundations.
615 24$aOrder, Lattices, Ordered Algebraic Structures.
615 24$aGeneral Algebraic Systems.
676   $a511.324
700   $aGivant$b Steven$4aut$4http://id.loc.gov/vocabulary/relators/aut$059680
906   $aBOOK
912   $a9910299993203321
996   $aDuality theories for boolean algebras with operators$91410332
997   $aUNINA