LEADER 03620nam  22006612  450 
001 9910450515903321
005 20160428173310.0
010   $a1-107-13080-8
010   $a1-280-41832-X
010   $a9786610418329
010   $a0-511-17882-4
010   $a1-139-14721-8
010   $a0-511-06356-3
010   $a0-511-05723-7
010   $a0-511-30598-2
010   $a0-511-54272-0
010   $a0-511-07202-3
035   $a(CKB)1000000000018033
035   $a(EBL)217793
035   $a(OCoLC)70747289
035   $a(SSID)ssj0000129990
035   $a(PQKBManifestationID)11134185
035   $a(PQKBTitleCode)TC0000129990
035   $a(PQKBWorkID)10082005
035   $a(PQKB)11121341
035   $a(UkCbUP)CR9780511542725
035   $a(MiAaPQ)EBC217793
035   $a(Au-PeEL)EBL217793
035   $a(CaPaEBR)ebr10070340
035   $a(CaONFJC)MIL41832
035   $a(EXLCZ)991000000000018033
100   $a20090505d2003||||  uy|            0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aContinuous lattices and domains /$fG. Gierz [and others]$b[electronic resource]
210  1$aCambridge :$cCambridge University Press,$d2003.
215   $a1 online resource (xxxvi, 591 pages) $cdigital, PDF file(s)
225 1 $aEncyclopedia of mathematics and its applications ;$vvolume 93
300   $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
311   $a0-521-80338-1 
320   $aIncludes bibliographical references (p. 523-567) and index.
327   $aForeword to A Compendium of Continuous Lattices -- Introduction to A Compendium of Continuous Lattices -- A Primer on Ordered Sets and Lattices -- I. Order Theory of Domains -- II. The Scott Topology -- III. The Lawson Topology -- IV. Morphisms and Functors -- V. Spectral Theory of Continuous Lattices -- VI. Compact Posets and Semilattices -- VII. Topological Algebra and Lattice Theory: Applications -- Dissertation and Master's Theses -- Memos Circulated in the Seminar on Continuity in Semilattices (SCS).
330   $aInformation content and programming semantics are just two of the applications of the mathematical concepts of order, continuity and domains. The authors develop the mathematical foundations of partially ordered sets with completeness properties of various degrees, in particular directed complete ordered sets and complete lattices. Uniquely, they focus on partially ordered sets that have an extra order relation, modelling the notion that one element 'finitely approximates' another, something closely related to intrinsic topologies linking order and topology. Extensive use is made of topological ideas, both by defining useful topologies on the structures themselves and by developing close connections with numerous aspects of topology. The theory so developed not only has applications to computer science but also within mathematics to such areas as analysis, the spectral theory of algebras and the theory of computability. This authoritative, comprehensive account of the subject will be essential for all those working in the area.
410  0$aEncyclopedia of mathematics and its applications ;$vv. 93.
517 3 $aContinuous Lattices & Domains
606   $aContinuous lattices
615  0$aContinuous lattices.
676   $a511.3/3
700   $aGierz$b Gerhard$056921
801  0$bUkCbUP
801  1$bUkCbUP
906   $aBOOK
912   $a9910450515903321
996   $aContinuous lattices and domains$92480719
997   $aUNINA