A compendium of continuous lattices:
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1980
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XX, 371 S. |
| ISBN: | 354010111X 038710111X |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV001010280 | ||
| 003 | DE-604 | ||
| 005 | 20150122 | ||
| 007 | t | ||
| 008 | 890315s1980 |||| 00||| eng d | ||
| 020 | |a 354010111X |9 3-540-10111-X | ||
| 020 | |a 038710111X |9 0-387-10111-X | ||
| 035 | |a (OCoLC)6554525 | ||
| 035 | |a (DE-599)BVBBV001010280 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 |a DE-91 |a DE-91G |a DE-384 |a DE-703 |a DE-739 |a DE-355 |a DE-29T |a DE-706 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA171.5 | |
| 082 | 0 | |a 511.3/3 |2 19 | |
| 084 | |a SK 150 |0 (DE-625)143218: |2 rvk | ||
| 084 | |a SK 160 |0 (DE-625)143220: |2 rvk | ||
| 084 | |a 06B30 |2 msc | ||
| 245 | 1 | 0 | |a A compendium of continuous lattices |c G. Gierz ... |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1980 | |
| 300 | |a XX, 371 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Partiële orde |2 gtt | |
| 650 | 4 | |a Treillis continus | |
| 650 | 7 | |a Treillis continus |2 ram | |
| 650 | 4 | |a Continuous lattices | |
| 650 | 0 | 7 | |a Topologie |0 (DE-588)4060425-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Stetiger Verband |0 (DE-588)4738308-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Stetiger Verband |0 (DE-588)4738308-2 |D s |
| 689 | 0 | 1 | |a Topologie |0 (DE-588)4060425-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Stetiger Verband |0 (DE-588)4738308-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Gierz, Gerhard |e Sonstige |4 oth | |
| 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=000610887&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000610887 | ||
Record in the Search Index
| _version_ | 1804115431878819840 |
|---|---|
| adam_text | TABLE OF CONTENTS
Foreword VII
Introduction. Background and Plan of the Work XI
Chapter O. A Primer of Complete Lattices 1
1. Generalities and notation 1
2. Complete lattices 8
3. Galois connections 18
4. Meet continuous lattices 30
Chapter I. Lattice Theory of Continuous Lattices 37
1. The way below relation 38
2. The equational characterization 57
3. Irreducible elements 68
4. Algebraic lattices 85
Chapter II. Topology of Continuous Lattices: The Scott Topology 97
1. The Scott topology 98
2. Scott continuous functions 112
3. Injective spaces 121
4. Function spaces 128
Chapter m. Topology of Continuous Lattices: The Lawson Topology ... 141
1. The Lawson topology 142
2. Meet continuous lattices revisited 153
3. Lim inf convergence 158
4. Bases and weights 168
VI Table of Contents
Chapter IV. Morphisms and Functors 177
1. Dualitytheory 179
2. Morphisms into chains 194
3. Projective limits and functors which preserve them 206
4. Fixed point construction for functors 224
Chapter V. Spectral Theory of Continuous Lattices 237
1. The Lemma 238
2. Order generation and topological generation 243
3. Weak irreducibles and weakly prime elements 246
4. Sober spaces and complete lattices 251
5. Duality for continuous Heyting algebras 258
Chapter VI. Compact Posets and Semilattices 271
1. Pospaces and topological semilattices 271
2. Compact topological semilattices 277
3. The fundamental theorem of compact semilattices 281
4. Some important examples 293
5. Chains in compact pospaces and semilattices 298
Chapter VII. Topological Algebra and Lattice Theory: Applications . ... 305
1. One sided topological semilattices 306
2. Topological lattices 316
3. Compact pospaces and continuous Heyting algebras 322
4. Lattices with continuous Scott topology 327
Bibliography 335
Listof Symbols 351
List of Categories 355
Index 357
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV001010280 |
| 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)6554525 (DE-599)BVBBV001010280 |
| dewey-full | 511.3/3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/3 |
| dewey-search | 511.3/3 |
| dewey-sort | 3511.3 13 |
| 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>01697nam a2200469 c 4500</leader><controlfield tag="001">BV001010280</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150122 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890315s1980 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354010111X</subfield><subfield code="9">3-540-10111-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">038710111X</subfield><subfield code="9">0-387-10111-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)6554525</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001010280</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-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-706</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.3/3</subfield><subfield code="2">19</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">06B30</subfield><subfield code="2">msc</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A compendium of continuous lattices</subfield><subfield code="c">G. Gierz ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1980</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 371 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">Partiële orde</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Treillis continus</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Treillis continus</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Continuous lattices</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Topologie</subfield><subfield code="0">(DE-588)4060425-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Stetiger Verband</subfield><subfield code="0">(DE-588)4738308-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Stetiger Verband</subfield><subfield code="0">(DE-588)4738308-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Topologie</subfield><subfield code="0">(DE-588)4060425-1</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">Stetiger Verband</subfield><subfield code="0">(DE-588)4738308-2</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">Gierz, Gerhard</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</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=000610887&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-000610887</subfield></datafield></record></collection> |
| id | DE-604.BV001010280 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:22:31Z |
| institution | BVB |
| isbn | 354010111X 038710111X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000610887 |
| oclc_num | 6554525 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-703 DE-739 DE-355 DE-BY-UBR DE-29T DE-706 DE-83 DE-188 |
| owner_facet | DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-703 DE-739 DE-355 DE-BY-UBR DE-29T DE-706 DE-83 DE-188 |
| physical | XX, 371 S. |
| publishDate | 1980 |
| publishDateSearch | 1980 |
| publishDateSort | 1980 |
| publisher | Springer |
| record_format | marc |
| spelling | A compendium of continuous lattices G. Gierz ... Berlin [u.a.] Springer 1980 XX, 371 S. txt rdacontent n rdamedia nc rdacarrier Partiële orde gtt Treillis continus Treillis continus ram Continuous lattices Topologie (DE-588)4060425-1 gnd rswk-swf Stetiger Verband (DE-588)4738308-2 gnd rswk-swf Stetiger Verband (DE-588)4738308-2 s Topologie (DE-588)4060425-1 s DE-604 Gierz, Gerhard Sonstige oth HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000610887&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | A compendium of continuous lattices Partiële orde gtt Treillis continus Treillis continus ram Continuous lattices Topologie (DE-588)4060425-1 gnd Stetiger Verband (DE-588)4738308-2 gnd |
| subject_GND | (DE-588)4060425-1 (DE-588)4738308-2 |
| title | A compendium of continuous lattices |
| title_auth | A compendium of continuous lattices |
| title_exact_search | A compendium of continuous lattices |
| title_full | A compendium of continuous lattices G. Gierz ... |
| title_fullStr | A compendium of continuous lattices G. Gierz ... |
| title_full_unstemmed | A compendium of continuous lattices G. Gierz ... |
| title_short | A compendium of continuous lattices |
| title_sort | a compendium of continuous lattices |
| topic | Partiële orde gtt Treillis continus Treillis continus ram Continuous lattices Topologie (DE-588)4060425-1 gnd Stetiger Verband (DE-588)4738308-2 gnd |
| topic_facet | Partiële orde Treillis continus Continuous lattices Topologie Stetiger Verband |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000610887&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT gierzgerhard acompendiumofcontinuouslattices |