Distributive lattices:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Columbia, Mo.
Univ. of Missouri Press
1974
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIII, 294 S. |
| ISBN: | 0826201636 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV003077838 | ||
| 003 | DE-604 | ||
| 005 | 20140707 | ||
| 007 | t | ||
| 008 | 900725s1974 |||| 00||| eng d | ||
| 020 | |a 0826201636 |9 0-8262-0163-6 | ||
| 035 | |a (OCoLC)490262804 | ||
| 035 | |a (DE-599)BVBBV003077838 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-739 |a DE-355 |a DE-824 |a DE-29T |a DE-19 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA171.5 | |
| 082 | 0 | |a 511/.33 | |
| 084 | |a SK 150 |0 (DE-625)143218: |2 rvk | ||
| 084 | |a SK 160 |0 (DE-625)143220: |2 rvk | ||
| 084 | |a 06Dxx |2 msc | ||
| 100 | 1 | |a Balbes, Raymond |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Distributive lattices |c Raymond Balbes and Philip Dwinger |
| 264 | 1 | |a Columbia, Mo. |b Univ. of Missouri Press |c 1974 | |
| 300 | |a XIII, 294 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Treillis distributifs |2 ram | |
| 650 | 4 | |a Lattices, Distributive | |
| 650 | 0 | 7 | |a Verbandstheorie |0 (DE-588)4127072-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Verbandstheorie |0 (DE-588)4127072-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Dwinger, Philip |d 1914-2006 |e Verfasser |0 (DE-588)117709646 |4 aut | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001929661&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001929661 | ||
Datensatz im Suchindex
| _version_ | 1804117366901047296 |
|---|---|
| adam_text | Contents
Preface, ix
Acknowledgments, xiii
I. Preliminaries, 1
Part 1. Foundations
1. Basic definitions and terminology, 1
2. Partially ordered sets, 3
3. Ordinals and cardinals, 4
Part 2. Universal Algebra
4. Algebras and homomorphisms, 6
5. Direct products, 8
6. Congruence relations, 9
7. Classes of algebras, 10
8. The duality principles, 12
9. Subdirect products, 13
10. Free algebras, 14
11. Polynomials and identities, 15
12. Birkhoff s characterization of equational classes, 17
Part 3. Categories
13. Definition of a category, 20
14. Special morphisms, 21
15. Products and coproducts. Limits and colimits, 23
16. Injectives andprojectives, 24
17. Functors, 25
18. Reflective subcategories, 27
19. Categories of algebras, 30
20. Equational categories, 31
II. Lattices
1. Partially ordered sets {continued), 39
2. Definition of a lattice, 42
3. Lattices as algebras and categories, 43
4. Complete lattices and closure operators, 45
5. The distributive law, 48
6. Complements, Boolean algebras, 51
7. Relatively complemented distributive lattices, 54
8. 27ze various categories, 56
9. Ideals and congruence relations, 57
10. Subdirect product representation for distributive lattices, 63
III. The Prime Ideal Theorem
1. Irreducible elements, 65
2. 7%e descending chain condition, 66
3. Prime ideals and maximal ideals, 67
4. The prime ideal theorem, 70
5. Representation by sets, 71
6. Some corollaries of the prime ideal theorem, 72
IV. Topological Representations
1. Stone spaces, 75
2. Topological representation theory for Qln, 79
3. Topological representation theory for 0$, 81
V. Extension Properties
1. Subalgebras generated by sets, 85
2. Extending functions to homomorphisms, 86
3. Free algebras, 88
4. Free Boolean extensions, 97
5. Embedding of relatively complemented distributive lattices in Boolean algebras, 101
6. Free relatively complemented distributive extensions, 102
7. Boolean algebras generated by a chain. Countable Boolean algebras, 105
8. Monomorphisms andepimbrphisms, 109
9. Injectives in ), gitl and3$, 112
10. Weakprojectivesin3 and@lu, 114
VI. Subdirect Products of Chains
. Introduction, 119
2. Definitions, some basic theorems, and an example, 120
3. Basic K chains, 121
4. The classes Cnfor n 3. Locally separatedn chains, 122
5. The class Cs, 125
6. ^4 structure theorem for Q, 127
7. Maximal ideals and Nachbin s theorem, 129
8. Subdirect products of infinite chains, 130
VII. Coproducts and Colimits
1. Existence and characterization of coproducts in 2, ®01 andffl, 132
2. The coproduct convention, 135
3. The center of the coproduct in ®oi, 136
4. Structure theorems for coproducts of Boolean algebras and chains, 138
5. Rigid chains, 142
6. Uniqueness of representation of coproducts of Boolean algebras and chains, 144
7. 77*e representation space of coproducts in Sin and 38,147
8. Colimits, 149
VUL Pseudocomplemented Distributive Lattices
1. Definitions and examples, 151
2. Basic properties, 153
3. The class B^, 155
4. Glivenkd s theorem and some implications, 156
5. Subdirectly irreducible algebras in Bu, 159
6. The equationalsubclasses of Ba, 161
7. Stone algebras, 164
8. Injective Stone algebras, 168
9. Coproducts of Stone algebras. Free Stone algebras, 171
IX. Heyting Algebras
1. Introduction, 173
2. Definitions, 173
3. Examples, 177
4. The class H, 111
5. Some fundamental theorems, 179
6. Free Heyting algebras, 182
7. jFiH/Ve weakly projective Heyting algebras, 185
X. Post Algebras
1. Introduction, 191
2. Definitions and basic properties, 192
3. The category of Post algebras, 195
4. Representation theory, 197
5. The partially ordered set of prime ideals of a Post algebra, 198
6. Post algebras as equational classes of algebras, 200
7. Coproducts in ^n and free Post algebras, 202
8. Generalized Post algebras, 203
9. Stone algebras of order n, 205
XI. De Morgan Algebras and Lukasiewicz Algebras
1. Introduction, 211
2. De Morgan algebras. Basic properties and representation theory, 1 1
3. Equational subclasses ofM, 215
4. Coproducts ofde Morgan algebras. Free de Morgan algebras, 216
5. Lukasiewicz algebras. Definitions and basic theorems, 218
6. Pas? algebras as special cases of Lukasiewicz algebras, 221
7. ^4 representation theory for Lukasiewicz algebras, 223
8. The partially ordered set of prime ideals of a Lukasiewicz algebra, 224
9. Embedding of Lukasiewicz algebras in Post algebras. Infective objects in ^PB, 224
10. Free Lukasiewicz algebras, 226
XII. Complete and a Complete Distributive Lattices
1. Introduction. Definitions and some theorems, 228
2. Normal completion of lattices. The special case of distributive lattices, 233
3. The normal completion of a Boolean algebra, 240
4. Complete, completely distributive lattices, 243
5. Representation of distributive, a complete lattices, 250
Bibliography, 261
Index of Authors and Terms, 284
Index of Symbols, 292
|
| any_adam_object | 1 |
| author | Balbes, Raymond Dwinger, Philip 1914-2006 |
| author_GND | (DE-588)117709646 |
| author_facet | Balbes, Raymond Dwinger, Philip 1914-2006 |
| author_role | aut aut |
| author_sort | Balbes, Raymond |
| author_variant | r b rb p d pd |
| building | Verbundindex |
| bvnumber | BV003077838 |
| callnumber-first | Q - Science |
| callnumber-label | QA171 |
| callnumber-raw | QA171.5 |
| callnumber-search | QA171.5 |
| callnumber-sort | QA 3171.5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 150 SK 160 |
| ctrlnum | (OCoLC)490262804 (DE-599)BVBBV003077838 |
| dewey-full | 511/.33 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511/.33 |
| dewey-search | 511/.33 |
| dewey-sort | 3511 233 |
| 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>01480nam a2200397 c 4500</leader><controlfield tag="001">BV003077838</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140707 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900725s1974 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0826201636</subfield><subfield code="9">0-8262-0163-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)490262804</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV003077838</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA171.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.33</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 150</subfield><subfield code="0">(DE-625)143218:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 160</subfield><subfield code="0">(DE-625)143220:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">06Dxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Balbes, Raymond</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Distributive lattices</subfield><subfield code="c">Raymond Balbes and Philip Dwinger</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Columbia, Mo.</subfield><subfield code="b">Univ. of Missouri Press</subfield><subfield code="c">1974</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 294 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="650" ind1=" " ind2="7"><subfield code="a">Treillis distributifs</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Lattices, Distributive</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verbandstheorie</subfield><subfield code="0">(DE-588)4127072-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verbandstheorie</subfield><subfield code="0">(DE-588)4127072-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dwinger, Philip</subfield><subfield code="d">1914-2006</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)117709646</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</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=001929661&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-001929661</subfield></datafield></record></collection> |
| id | DE-604.BV003077838 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:53:16Z |
| institution | BVB |
| isbn | 0826201636 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001929661 |
| oclc_num | 490262804 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-355 DE-BY-UBR DE-824 DE-29T DE-19 DE-BY-UBM DE-83 DE-188 |
| owner_facet | DE-384 DE-739 DE-355 DE-BY-UBR DE-824 DE-29T DE-19 DE-BY-UBM DE-83 DE-188 |
| physical | XIII, 294 S. |
| publishDate | 1974 |
| publishDateSearch | 1974 |
| publishDateSort | 1974 |
| publisher | Univ. of Missouri Press |
| record_format | marc |
| spelling | Balbes, Raymond Verfasser aut Distributive lattices Raymond Balbes and Philip Dwinger Columbia, Mo. Univ. of Missouri Press 1974 XIII, 294 S. txt rdacontent n rdamedia nc rdacarrier Treillis distributifs ram Lattices, Distributive Verbandstheorie (DE-588)4127072-1 gnd rswk-swf Verbandstheorie (DE-588)4127072-1 s DE-604 Dwinger, Philip 1914-2006 Verfasser (DE-588)117709646 aut HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001929661&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Balbes, Raymond Dwinger, Philip 1914-2006 Distributive lattices Treillis distributifs ram Lattices, Distributive Verbandstheorie (DE-588)4127072-1 gnd |
| subject_GND | (DE-588)4127072-1 |
| title | Distributive lattices |
| title_auth | Distributive lattices |
| title_exact_search | Distributive lattices |
| title_full | Distributive lattices Raymond Balbes and Philip Dwinger |
| title_fullStr | Distributive lattices Raymond Balbes and Philip Dwinger |
| title_full_unstemmed | Distributive lattices Raymond Balbes and Philip Dwinger |
| title_short | Distributive lattices |
| title_sort | distributive lattices |
| topic | Treillis distributifs ram Lattices, Distributive Verbandstheorie (DE-588)4127072-1 gnd |
| topic_facet | Treillis distributifs Lattices, Distributive Verbandstheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001929661&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT balbesraymond distributivelattices AT dwingerphilip distributivelattices |