Continuous lattices and their applications:
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
New York u.a.
Dekker
1985
|
| Series: | Lecture notes in pure and applied mathematics
101 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | X, 369 S. |
| ISBN: | 0824773314 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV000435323 | ||
| 003 | DE-604 | ||
| 005 | 20140128 | ||
| 007 | t | ||
| 008 | 870612s1985 |||| 10||| eng d | ||
| 020 | |a 0824773314 |9 0-8247-7331-4 | ||
| 035 | |a (OCoLC)12106858 | ||
| 035 | |a (DE-599)BVBBV000435323 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-384 |a DE-739 |a DE-188 | ||
| 050 | 0 | |a QA171.5 | |
| 082 | 0 | |a 511.3/3 |2 19 | |
| 084 | |a SD 1982 |0 (DE-625)142716: |2 rvk | ||
| 084 | |a MAT 542f |2 stub | ||
| 084 | |a DAT 544f |2 stub | ||
| 084 | |a MAT 060f |2 stub | ||
| 245 | 1 | 0 | |a Continuous lattices and their applications |c ed. by Rudolf-E. Hoffmann ... |
| 264 | 1 | |a New York u.a. |b Dekker |c 1985 | |
| 300 | |a X, 369 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in pure and applied mathematics |v 101 | |
| 650 | 4 | |a Treillis continus - Congrès | |
| 650 | 4 | |a Continuous lattices |v Congresses | |
| 650 | 0 | 7 | |a Vollständiger Verband |0 (DE-588)4425949-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Stetiger Verband |0 (DE-588)4738308-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1982 |z Bremen |2 gnd-content | |
| 689 | 0 | 0 | |a Vollständiger Verband |0 (DE-588)4425949-9 |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 Hoffmann, Rudolf-Eberhard |d 1951- |e Sonstige |0 (DE-588)1013072367 |4 oth | |
| 830 | 0 | |a Lecture notes in pure and applied mathematics |v 101 |w (DE-604)BV005871364 |9 101 | |
| 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=000269593&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000269593 | ||
Record in the Search Index
| _version_ | 1804114895683190784 |
|---|---|
| adam_text | Contents
Preface iii
Contributors ix
1. On the Topologies of Injective Spaces 1
Bernhard Banaschewski
2. Convergence and Continuity in Partially
Ordered Sets and Semilattices 9
Marcel Erne and Hartmut Gatzke
3. Natural Topologies, Essential Extensions, Reductive
Lattices, and Congruence Extension 41
Gerhard Gierz and Albert Stralka
h. The Fell Compactification Revisited 57
Rudolf E. Hoffmann
5. The Trace of the Weak Topology and of the F Topology
of L Coincide on the Pseudo Meet Prime Elements of
a Continuous Lattice L 117
Rudolf E. Hoffmann
6. Complete Distributivity and the Essential
Hull of a TQ Space 121
Karl H. Hofmann
7. Free Objects in the Category of Completely
Distributive Lattices 129
Karl H. Hofmann and Michael Mislove
8. Discontinuity of Meets and Joins 151
John Isbell
9. Vietoris Locales and Localic Semilattices 155
Peter T. Johnstone
10. On the Exponential Law for Function Spaces
Equipped with the Compact Open Topology l8l
Panos Th. Lambrinos
11. The (Strong) Isbell Topology and (Weakly)
Continuous Lattices 191
Panos Th. Lambrinos and Basil Papadopoulos
vii
viii Contents
12. Obtaining the T Essential Hull 213
Jimmie D. Lawson
13 The Local Approach to Programming Language Theory 219
Areski Nait Abdallah
Ik. Algebraic Lattices as Dual Spaces of Distributive Lattices 237
Hilary A. Priestley
15. Scott Topology, Isbell Topology, and Continuous Convergence 251
Friedhelm Schwarz and Sibylle Week
16. Projectiveness with Eegard to a Eight Adjoint Functor 273
Manuela Sobral
17. Lattices and Semilattices: A Convex Point of View 279
Marcel van de Vel
The Continuous Lattices Bibliography 303
Rudolf E. Hoffmann, Karl H. Hofmann, and Dana S. Scott
Index 36I
|
| any_adam_object | 1 |
| author_GND | (DE-588)1013072367 |
| building | Verbundindex |
| bvnumber | BV000435323 |
| 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 | SD 1982 |
| classification_tum | MAT 542f DAT 544f MAT 060f |
| ctrlnum | (OCoLC)12106858 (DE-599)BVBBV000435323 |
| 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 | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01847nam a2200469 cb4500</leader><controlfield tag="001">BV000435323</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140128 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1985 |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0824773314</subfield><subfield code="9">0-8247-7331-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)12106858</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000435323</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-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</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">SD 1982</subfield><subfield code="0">(DE-625)142716:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 542f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 544f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 060f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Continuous lattices and their applications</subfield><subfield code="c">ed. by Rudolf-E. Hoffmann ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York u.a.</subfield><subfield code="b">Dekker</subfield><subfield code="c">1985</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 369 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">Lecture notes in pure and applied mathematics</subfield><subfield code="v">101</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Treillis continus - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Continuous lattices</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Vollständiger Verband</subfield><subfield code="0">(DE-588)4425949-9</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1982</subfield><subfield code="z">Bremen</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Vollständiger Verband</subfield><subfield code="0">(DE-588)4425949-9</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">Hoffmann, Rudolf-Eberhard</subfield><subfield code="d">1951-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1013072367</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in pure and applied mathematics</subfield><subfield code="v">101</subfield><subfield code="w">(DE-604)BV005871364</subfield><subfield code="9">101</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=000269593&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-000269593</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1982 Bremen gnd-content |
| genre_facet | Konferenzschrift 1982 Bremen |
| id | DE-604.BV000435323 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:13:59Z |
| institution | BVB |
| isbn | 0824773314 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000269593 |
| oclc_num | 12106858 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-384 DE-739 DE-188 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-384 DE-739 DE-188 |
| physical | X, 369 S. |
| publishDate | 1985 |
| publishDateSearch | 1985 |
| publishDateSort | 1985 |
| publisher | Dekker |
| record_format | marc |
| series | Lecture notes in pure and applied mathematics |
| series2 | Lecture notes in pure and applied mathematics |
| spelling | Continuous lattices and their applications ed. by Rudolf-E. Hoffmann ... New York u.a. Dekker 1985 X, 369 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in pure and applied mathematics 101 Treillis continus - Congrès Continuous lattices Congresses Vollständiger Verband (DE-588)4425949-9 gnd rswk-swf Stetiger Verband (DE-588)4738308-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1982 Bremen gnd-content Vollständiger Verband (DE-588)4425949-9 s DE-604 Stetiger Verband (DE-588)4738308-2 s Hoffmann, Rudolf-Eberhard 1951- Sonstige (DE-588)1013072367 oth Lecture notes in pure and applied mathematics 101 (DE-604)BV005871364 101 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000269593&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Continuous lattices and their applications Lecture notes in pure and applied mathematics Treillis continus - Congrès Continuous lattices Congresses Vollständiger Verband (DE-588)4425949-9 gnd Stetiger Verband (DE-588)4738308-2 gnd |
| subject_GND | (DE-588)4425949-9 (DE-588)4738308-2 (DE-588)1071861417 |
| title | Continuous lattices and their applications |
| title_auth | Continuous lattices and their applications |
| title_exact_search | Continuous lattices and their applications |
| title_full | Continuous lattices and their applications ed. by Rudolf-E. Hoffmann ... |
| title_fullStr | Continuous lattices and their applications ed. by Rudolf-E. Hoffmann ... |
| title_full_unstemmed | Continuous lattices and their applications ed. by Rudolf-E. Hoffmann ... |
| title_short | Continuous lattices and their applications |
| title_sort | continuous lattices and their applications |
| topic | Treillis continus - Congrès Continuous lattices Congresses Vollständiger Verband (DE-588)4425949-9 gnd Stetiger Verband (DE-588)4738308-2 gnd |
| topic_facet | Treillis continus - Congrès Continuous lattices Congresses Vollständiger Verband Stetiger Verband Konferenzschrift 1982 Bremen |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000269593&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV005871364 |
| work_keys_str_mv | AT hoffmannrudolfeberhard continuouslatticesandtheirapplications |