A Compendium of Continuous Lattices - Image 1

Price loading...

Springer A Compendium of Continuous Lattices

Name: A Compendium of Continuous Lattices
Brand: Springer

Algebra

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642676804
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Algebra
Domain: Amazon UK
Release Date: 25 January 2012
Listed Since: 12 July 2012

Barcode

No barcode data available

Springer A Compendium of Continuous Lattices

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Continuous Lattices and Their Applications (Lecture Notes in Pure and Applied Mathematics)

Continuous Lattices and Their Applications: 101 (Lecture Notes in Pure and Applied Mathematics)

Banach Lattices (Universitext)

Connection Matrices in Combinatorial Topological Dynamics (SpringerBriefs in Mathematics)

Free Lattices (Mathematical Surveys and Monographs)

Apartness and Uniformity: A Constructive Development (Theory and Applications of Computability)

General Lattice Theory: Second edition

Automorphic Forms and Even Unimodular Lattices: Kneser Neighbors of Niemeier Lattices: 69 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, 69)

Lattice-Ordered Groups: An Introduction: 4 (Reidel Texts in the Mathematical Sciences, 4)

Lattice-Ordered Groups: An Introduction: 4 (Reidel Texts in the Mathematical Sciences, 4)

Lattice Path Combinatorics and Applications: 58 (Developments in Mathematics, 58)

Language Computability and Formal Language Theory

Introduction to Lattice Theory with Computer Science Applications

Connections in Discrete Mathematics: A Celebration of the Work of Ron Graham

Introduction to Lattices and Order

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics: 20 (Outstanding Contributions to Logic, 20)

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Complexity of Lattice Problems: A Cryptographic Perspective: 671 (The Springer International Series in Engineering and Computer Science, 671)

Complexity of Lattice Problems: A Cryptographic Perspective: 671 (The Springer International Series in Engineering and Computer Science, 671)

The Forcing Method in Set Theory: An Introduction via Boolean Valued Logic: 168 (UNITEXT, 168)

Semigroups and Their Subsemigroup Lattices: 379 (Mathematics and Its Applications, 379)

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Semigroups and Their Subsemigroup Lattices: 379 (Mathematics and Its Applications, 379)

From Operator Theory to Orthogonal Polynomials, Combinatorics, and Number Theory: A Volume in Honor of Lance Littlejohn's 70th Birthday: 285 (Operator Theory: Advances and Applications, 285)