Vai al contenuto principale della pagina

Duality theories for Boolean algebras with operators [[electronic resource] /] / by Steven Givant



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Givant Steven Visualizza persona
Titolo: Duality theories for Boolean algebras with operators [[electronic resource] /] / by Steven Givant Visualizza cluster
Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Edizione: 1st ed. 2014.
Descrizione fisica: 1 online resource (246 p.)
Disciplina: 511.324
Soggetto topico: Mathematical logic
Algebra
Ordered algebraic structures
Mathematical Logic and Foundations
Order, Lattices, Ordered Algebraic Structures
General Algebraic Systems
Note generali: Description based upon print version of record.
Nota di bibliografia: Includes bibliographical references and index.
Nota di contenuto: 1. Algebraic Duality -- 2. Topological Duality -- 3. Hybrid Duality.
Sommario/riassunto: In 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.
Titolo autorizzato: Duality theories for boolean algebras with operators  Visualizza cluster
ISBN: 3-319-06743-5
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910299993203321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Springer Monographs in Mathematics, . 1439-7382