Continuous Lattices and Domains PDF Download

Author: G. Gierz
Publisher: Cambridge University Press
ISBN: 9780521803380
Category : Mathematics
Languages : en
Pages : 640

View

Book Description
Table of contents

Author: B. Banaschewski
Publisher: Springer
ISBN: 3540387552
Category : Mathematics
Languages : en
Pages : 428

View

Book Description

Author: G. Gierz
Publisher: Springer Science & Business Media
ISBN: 3642676782
Category : Mathematics
Languages : en
Pages : 390

View

Book Description
A mathematics book with six authors is perhaps a rare enough occurrence to make a reader ask how such a collaboration came about. We begin, therefore, with a few words on how we were brought to the subject over a ten-year period, during part of which time we did not all know each other. We do not intend to write here the history of continuous lattices but rather to explain our own personal involvement. History in a more proper sense is provided by the bibliography and the notes following the sections of the book, as well as by many remarks in the text. A coherent discussion of the content and motivation of the whole study is reserved for the introduction. In October of 1969 Dana Scott was lead by problems of semantics for computer languages to consider more closely partially ordered structures of function spaces. The idea of using partial orderings to correspond to spaces of partially defined functions and functionals had appeared several times earlier in recursive function theory; however, there had not been very sustained interest in structures of continuous functionals. These were the ones Scott saw that he needed. His first insight was to see that - in more modern terminology - the category of algebraic lattices and the (so-called) Scott-continuous functions is cartesian closed.

Author: Rudolf E. Hoffmann
Publisher: CRC Press
ISBN: 1000111083
Category : Computers
Languages : en
Pages : 392

View

Book Description
This book contains articles on the notion of a continuous lattice, which has its roots in Dana Scott's work on a mathematical theory of computation, presented at a conference on categorical and topological aspects of continuous lattices held in 1982.

Author: Keith Kearnes
Publisher: American Mathematical Soc.
ISBN: 0821883232
Category : Mathematics
Languages : en
Pages : 183

View

Book Description
This monograph is concerned with the relationships between Maltsev conditions, commutator theories and the shapes of congruence lattices in varieties of algebras. The authors develop the theories of the strong commutator, the rectangular commutator, the strong rectangular commutator, as well as a solvability theory for the nonmodular TC commutator. They prove that a residually small variety that satisfies a congruence identity is congruence modular.

Author:
Publisher: American Mathematical Soc.
ISBN: 9780821895887
Category : Mathematics
Languages : en
Pages : 262

View

Book Description
This indispensable reference source contains a wealth of information on lattice theory. The book presents a survey of virtually everything published in the fields of partially ordered sets, semilattices, lattices, and Boolean algebras that was reviewed in Referativnyi Zhurnal Matematika from mid-1982 to the end of 1985. A continuation of a previous volume (the English translation of which was published by the AMS in 1989, as volume 141 in Translations - Series 2), this comprehensive work contains more than 2200 references. Many of the papers covered here were originally published in virtually inaccessible places. The compilation of the volume was directed by Milan Kolibiar of Comenius University at Bratislava and Lev A. Skornyakov of Moscow University. Of interest to mathematicians, as well as to philosophers and computer scientists in certain areas, this unique compendium is a must for any mathematical library.

Author: George Grätzer
Publisher: Springer
ISBN: 3319064134
Category : Mathematics
Languages : en
Pages : 472

View

Book Description
George Grätzer's Lattice Theory: Foundation is his third book on lattice theory (General Lattice Theory, 1978, second edition, 1998). In 2009, Grätzer considered updating the second edition to reflect some exciting and deep developments. He soon realized that to lay the foundation, to survey the contemporary field, to pose research problems, would require more than one volume and more than one person. So Lattice Theory: Foundation provided the foundation. Now we complete this project with Lattice Theory: Special Topics and Applications, written by a distinguished group of experts, to cover some of the vast areas not in Foundation. This first volume is divided into three parts. Part I. Topology and Lattices includes two chapters by Klaus Keimel, Jimmie Lawson and Ales Pultr, Jiri Sichler. Part II. Special Classes of Finite Lattices comprises four chapters by Gabor Czedli, George Grätzer and Joseph P. S. Kung. Part III. Congruence Lattices of Infinite Lattices and Beyond includes four chapters by Friedrich Wehrung and George Grätzer.

Author: Rudolf-Eberhard Hoffmann
Publisher:
ISBN:
Category : Categories (Mathematics)
Languages : en
Pages : 330

View

Book Description

Author: M. Hazewinkel
Publisher: Springer
ISBN: 1489937978
Category : Mathematics
Languages : en
Pages : 927

View

Book Description

Author: John von Neumann
Publisher: Princeton University Press
ISBN: 1400883954
Category : Mathematics
Languages : en
Pages : 312

View

Book Description
In his work on rings of operators in Hilbert space, John von Neumann discovered a new mathematical structure that resembled the lattice system Ln. In characterizing its properties, von Neumann founded the field of continuous geometry. This book, based on von Neumann's lecture notes, begins with the development of the axioms of continuous geometry, dimension theory, and--for the irreducible case--the function D(a). The properties of regular rings are then discussed, and a variety of results are presented for lattices that are continuous geometries, for which irreducibility is not assumed. For students and researchers interested in ring theory or projective geometries, this book is required reading.