Natural dualities for the working algebraist:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge [u.a.]
Cambridge Univ. Press
1998
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Cambridge studies in advanced mathematics
57 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 356 S. |
| ISBN: | 0521454158 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012033026 | ||
| 003 | DE-604 | ||
| 005 | 20030205 | ||
| 007 | t | ||
| 008 | 980630s1998 |||| 00||| eng d | ||
| 020 | |a 0521454158 |9 0-521-45415-8 | ||
| 035 | |a (OCoLC)438994792 | ||
| 035 | |a (DE-599)BVBBV012033026 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-355 |a DE-703 |a DE-739 |a DE-83 |a DE-11 |a DE-19 | ||
| 080 | |a 510 | ||
| 084 | |a SK 200 |0 (DE-625)143223: |2 rvk | ||
| 084 | |a 06E05 |2 msc | ||
| 100 | 1 | |a Clark, David M. |d 1954- |e Verfasser |0 (DE-588)110087666 |4 aut | |
| 245 | 1 | 0 | |a Natural dualities for the working algebraist |c David M. Clark and Brian A. Davey |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 1998 | |
| 300 | |a XII, 356 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Cambridge studies in advanced mathematics |v 57 | |
| 650 | 0 | 7 | |a Dualitätstheorie |0 (DE-588)4150801-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebra |0 (DE-588)4001156-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Dualität |0 (DE-588)4013161-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Algebra |0 (DE-588)4001156-2 |D s |
| 689 | 0 | 1 | |a Dualität |0 (DE-588)4013161-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Algebra |0 (DE-588)4001156-2 |D s |
| 689 | 1 | 1 | |a Dualitätstheorie |0 (DE-588)4150801-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Davey, Brian A. |e Verfasser |4 aut | |
| 830 | 0 | |a Cambridge studies in advanced mathematics |v 57 |w (DE-604)BV000003678 |9 57 | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008142300&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008142300 | ||
Datensatz im Suchindex
| _version_ | 1804126627366436864 |
|---|---|
| adam_text | Contents
Preface
ix
1.
Dual Equivalences and Where to Find Them
1
1.
Categories
2
2.
Distributive lattices
7
3.
Quasi-varieties
15
4.
Structured topological spaces
20
5.
Predualities
29
2.
Natural Dualities
39
1.
Brute force
39
2.
Duality theorems
41
3.
Taming brute force with near-unanimity
52
4.
Refining duality via
ent
ailment
55
3.
Strong Dualities
62
1.
Full duality and the dual category
63
2.
Strong duality and the role of injectivity
71
3.
Producing strong dualities
79
4.
Examples of Strong Dualities
94
1.
Strong dualities from
primali
ty
and its variants
94
2.
Arithmetical strong dualities
98
3. NU
strong dualities
102
4.
Two-for-one strong dualities
113
5.
Vagrant dualities
116
5.
Sample Applications
124
1.
Compactness of propositional logic
124
2.
Endomorphism monoids and upside down lattices
125
3.
Theory of algebraic and existential closure
129
4.
Examples of algebraic and existential closure
135
5.
Injectives, weak injectives and absolute subretracts
144
6.
Category equivalences
159
6.
What Makes a Duality Useful?
171
1.
Total structures and injectivity
173
2.
Unary structures, coproducts and near-unanimity
177
3.
Better coproducts and logarithmicity
182
4.
Exclusively unary structures and arithmeticity
186
viii Contents
7.
Piggyback Dualities
1.
Multisorted dualities
2.
Piggyback dualities for distributive-lattice-based algebras
3.
Piggyback dualities for varieties of Hey ting algebras
4.
Restricted Priestley dualities
5.
Piggyback dualities for varieties of Ockham algebras
6.
Piggyback dualities for varieties of distributive p-algebras
7.
Completely dualisable quasi-varieties
8.
Endodualisable algebras
8.
Optimal Dualities and Entailment
1.
Test algebras
—
schizophrenia strikes again!
2.
Entailment closure and the topology of failsets
3.
Failsets and optimal dualities
4.
Kleene algebras once again
5.
The structure of failsets
6.
Optimal dualities for varieties of distributive p-algebras
9.
Completeness Theorems for Entailment
1.
The syntax of entailment
2.
Completeness of constructs for entailment
3.
Local entailment
4.
Optimal strong dualities and hom-entailment
5.
An example: the three-element chain
10.
Dualisable Algebras
1.
Dualisability
2.
Near-unanimity as an obstacle to duality
3.
Some applications of the
NU
obstacle theorems
4.
The balanced
subalgebra
method
5.
The ghost element method
6.
The term-closed subset method
7.
Dualisable clones on a two-element set
Appendix A: Algebras
Appendix B: Boolean Spaces
Bibliography
Notation
Index
|
| any_adam_object | 1 |
| author | Clark, David M. 1954- Davey, Brian A. |
| author_GND | (DE-588)110087666 |
| author_facet | Clark, David M. 1954- Davey, Brian A. |
| author_role | aut aut |
| author_sort | Clark, David M. 1954- |
| author_variant | d m c dm dmc b a d ba bad |
| building | Verbundindex |
| bvnumber | BV012033026 |
| classification_rvk | SK 200 |
| ctrlnum | (OCoLC)438994792 (DE-599)BVBBV012033026 |
| discipline | Mathematik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01800nam a2200457 cb4500</leader><controlfield tag="001">BV012033026</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20030205 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980630s1998 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521454158</subfield><subfield code="9">0-521-45415-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)438994792</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012033026</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="080" ind1=" " ind2=" "><subfield code="a">510</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 200</subfield><subfield code="0">(DE-625)143223:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">06E05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Clark, David M.</subfield><subfield code="d">1954-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)110087666</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Natural dualities for the working algebraist</subfield><subfield code="c">David M. Clark and Brian A. Davey</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 356 S.</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="1" ind2=" "><subfield code="a">Cambridge studies in advanced mathematics</subfield><subfield code="v">57</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Dualitätstheorie</subfield><subfield code="0">(DE-588)4150801-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Dualität</subfield><subfield code="0">(DE-588)4013161-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Dualität</subfield><subfield code="0">(DE-588)4013161-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Dualitätstheorie</subfield><subfield code="0">(DE-588)4150801-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Davey, Brian A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge studies in advanced mathematics</subfield><subfield code="v">57</subfield><subfield code="w">(DE-604)BV000003678</subfield><subfield code="9">57</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</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=008142300&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008142300</subfield></datafield></record></collection> |
| id | DE-604.BV012033026 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:20:27Z |
| institution | BVB |
| isbn | 0521454158 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008142300 |
| oclc_num | 438994792 |
| open_access_boolean | |
| owner | DE-29T DE-355 DE-BY-UBR DE-703 DE-739 DE-83 DE-11 DE-19 DE-BY-UBM |
| owner_facet | DE-29T DE-355 DE-BY-UBR DE-703 DE-739 DE-83 DE-11 DE-19 DE-BY-UBM |
| physical | XII, 356 S. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series | Cambridge studies in advanced mathematics |
| series2 | Cambridge studies in advanced mathematics |
| spelling | Clark, David M. 1954- Verfasser (DE-588)110087666 aut Natural dualities for the working algebraist David M. Clark and Brian A. Davey 1. publ. Cambridge [u.a.] Cambridge Univ. Press 1998 XII, 356 S. txt rdacontent n rdamedia nc rdacarrier Cambridge studies in advanced mathematics 57 Dualitätstheorie (DE-588)4150801-4 gnd rswk-swf Algebra (DE-588)4001156-2 gnd rswk-swf Dualität (DE-588)4013161-0 gnd rswk-swf Algebra (DE-588)4001156-2 s Dualität (DE-588)4013161-0 s DE-604 Dualitätstheorie (DE-588)4150801-4 s Davey, Brian A. Verfasser aut Cambridge studies in advanced mathematics 57 (DE-604)BV000003678 57 Digitalisierung UB Passau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008142300&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Clark, David M. 1954- Davey, Brian A. Natural dualities for the working algebraist Cambridge studies in advanced mathematics Dualitätstheorie (DE-588)4150801-4 gnd Algebra (DE-588)4001156-2 gnd Dualität (DE-588)4013161-0 gnd |
| subject_GND | (DE-588)4150801-4 (DE-588)4001156-2 (DE-588)4013161-0 |
| title | Natural dualities for the working algebraist |
| title_auth | Natural dualities for the working algebraist |
| title_exact_search | Natural dualities for the working algebraist |
| title_full | Natural dualities for the working algebraist David M. Clark and Brian A. Davey |
| title_fullStr | Natural dualities for the working algebraist David M. Clark and Brian A. Davey |
| title_full_unstemmed | Natural dualities for the working algebraist David M. Clark and Brian A. Davey |
| title_short | Natural dualities for the working algebraist |
| title_sort | natural dualities for the working algebraist |
| topic | Dualitätstheorie (DE-588)4150801-4 gnd Algebra (DE-588)4001156-2 gnd Dualität (DE-588)4013161-0 gnd |
| topic_facet | Dualitätstheorie Algebra Dualität |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008142300&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000003678 |
| work_keys_str_mv | AT clarkdavidm naturaldualitiesfortheworkingalgebraist AT daveybriana naturaldualitiesfortheworkingalgebraist |