Duality theories for Boolean algebras with operators:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham ; Heidelberg ; New York ; Dordrecht ; London
Springer
[2014]
|
| Schriftenreihe: | Springer monographs in mathematics
|
| Online-Zugang: | Inhaltsverzeichnis Klappentext |
| Beschreibung: | xiv, 233 Seiten |
| ISBN: | 9783319067421 |
| ISSN: | 1439-7382 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV042083907 | ||
| 003 | DE-604 | ||
| 005 | 20190111 | ||
| 007 | t | ||
| 008 | 140919s2014 |||| 00||| eng d | ||
| 020 | |a 9783319067421 |c hbk. |9 978-3-319-06742-1 | ||
| 035 | |a (OCoLC)892574996 | ||
| 035 | |a (DE-599)BVBBV042083907 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-11 |a DE-83 | ||
| 082 | 0 | |a 511.3 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 08C20 |2 msc | ||
| 084 | |a 510 |2 sdnb | ||
| 084 | |a 06Exx |2 msc | ||
| 084 | |a 03G05 |2 msc | ||
| 084 | |a 03B45 |2 msc | ||
| 100 | 1 | |a Givant, Steven R. |d 1943- |e Verfasser |0 (DE-588)137394802 |4 aut | |
| 245 | 1 | 0 | |a Duality theories for Boolean algebras with operators |c Steven Givant |
| 264 | 1 | |a Cham ; Heidelberg ; New York ; Dordrecht ; London |b Springer |c [2014] | |
| 264 | 4 | |c © 2014 | |
| 300 | |a xiv, 233 Seiten | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Springer monographs in mathematics |x 1439-7382 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-06743-8 |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027524928&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027524928&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027524928 | ||
Datensatz im Suchindex
| _version_ | 1804152536782864384 |
|---|---|
| adam_text | Contents
Introduction
............................................
vii
1
Algebraic Duality
.................................... 1
1.1
Algebraic Duality for Boolean Algebras
............... 1
1.2
Boolean Algebras with Operators
.................... 3
1.3
Relational Structures and Complex Algebras
.......... 12
1.4
Duality for Algebras
................................ 15
1.5
Duality for Complete
Homomorphismus................ 18
1.6
Duality for Complete Ideals
......................... 29
1.7
Duality for Complete Quotients
...................... 36
1.8
Duality for Complete Subuniverses
................... 37
1.9
Duality for Complete Subalgebras
.................... 42
1.10
Duality for Products
............................... 50
1.11
Duality for Ultraproducts
........................... 54
2
Topologica]
Duality
.................................. 61
2.1
Topologica!
Duality for Boolean Algebras
............. 61
2.2
Relational Spaces
.................................. 64
2.3
Duality for Algebras
................................ 67
2.4
Duality for Homomorphisms
......................... 92
2.5
Duality for Ideals
.................................. 108
2.6
Duality for Quotients
............................... 112
2.7
Duality for Subuniverses
............................ 118
2.8
Duality for Subalgebras
............................. 125
2.9
Duality for Completeness
........................... 133
2.10
Duality for Finite Products
......................... 136
v
vi
Contents
2.11
Duality for
Subdirect
Products
...................... 142
2.12
Duality for Infinite Direct Products
.................. 160
3
Hybrid Duality
...................................... 173
3.1
Duality for Homomorphisms
......................... 174
3.2
Duality for Subalgebras
............................. 188
3.3
Duality for Complex Algebras
....................... 204
3.4
Weak Compactifications of Discrete Spaces
............ 212
References
..............................................219
Index
................................................... 223
Springer
Monographs in Mathematics
Steven Givant
Duality Theories for Boolean Algebras with Operators
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
|
| any_adam_object | 1 |
| author | Givant, Steven R. 1943- |
| author_GND | (DE-588)137394802 |
| author_facet | Givant, Steven R. 1943- |
| author_role | aut |
| author_sort | Givant, Steven R. 1943- |
| author_variant | s r g sr srg |
| building | Verbundindex |
| bvnumber | BV042083907 |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)892574996 (DE-599)BVBBV042083907 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01721nam a2200397 c 4500</leader><controlfield tag="001">BV042083907</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190111 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">140919s2014 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319067421</subfield><subfield code="c">hbk.</subfield><subfield code="9">978-3-319-06742-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)892574996</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042083907</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">08C20</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">06Exx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03G05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B45</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Givant, Steven R.</subfield><subfield code="d">1943-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)137394802</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Duality theories for Boolean algebras with operators</subfield><subfield code="c">Steven Givant</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham ; Heidelberg ; New York ; Dordrecht ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">[2014]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiv, 233 Seiten</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Springer monographs in mathematics</subfield><subfield code="x">1439-7382</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-319-06743-8</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027524928&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027524928&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027524928</subfield></datafield></record></collection> |
| id | DE-604.BV042083907 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:12:17Z |
| institution | BVB |
| isbn | 9783319067421 |
| issn | 1439-7382 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027524928 |
| oclc_num | 892574996 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-11 DE-83 |
| owner_facet | DE-355 DE-BY-UBR DE-11 DE-83 |
| physical | xiv, 233 Seiten |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Springer |
| record_format | marc |
| series2 | Springer monographs in mathematics |
| spelling | Givant, Steven R. 1943- Verfasser (DE-588)137394802 aut Duality theories for Boolean algebras with operators Steven Givant Cham ; Heidelberg ; New York ; Dordrecht ; London Springer [2014] © 2014 xiv, 233 Seiten txt rdacontent n rdamedia nc rdacarrier Springer monographs in mathematics 1439-7382 Erscheint auch als Online-Ausgabe 978-3-319-06743-8 Digitalisierung UB Regensburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027524928&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Digitalisierung UB Regensburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027524928&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Klappentext |
| spellingShingle | Givant, Steven R. 1943- Duality theories for Boolean algebras with operators |
| title | Duality theories for Boolean algebras with operators |
| title_auth | Duality theories for Boolean algebras with operators |
| title_exact_search | Duality theories for Boolean algebras with operators |
| title_full | Duality theories for Boolean algebras with operators Steven Givant |
| title_fullStr | Duality theories for Boolean algebras with operators Steven Givant |
| title_full_unstemmed | Duality theories for Boolean algebras with operators Steven Givant |
| title_short | Duality theories for Boolean algebras with operators |
| title_sort | duality theories for boolean algebras with operators |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027524928&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027524928&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT givantstevenr dualitytheoriesforbooleanalgebraswithoperators |