Orders and lattices. Basics, approaches and applications

DOI10.1007/978-3-658-02711-7MaRDI QIDQ2637247zbMATH OpenOpenAlexWikidataFDO

Publication date 10 February 2014

Published in Springer-Lehrbuch (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-658-02711-7

applications in computer science axiom of choice completion fixed point Galois connection lattice order relational algebra

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01)

Review text

In this book the author gives a precise and elementary introduction to the theory of partial orders and lattice theory. The book is based essentially on the first six chapters of the second edition of his book [Orders, lattices and relations with applications. Wiesbaden: Vieweg+Teubner (2008; Zbl 1146.06001)]. In the first chapter the author introduces basic notions. In chapter two he describes lattices from the algebraic point of view and also in form of special partial orders. He investigates the duality principle for lattices. In the next chapter he characterizes some important classes of lattices such as modular, distributive and Boolean lattices. He also investigates complete lattices. In chapter four he studies fixed-point theorems. As an application he gives a proof of the Schröder-Bernstein theorem. He considers Galois connections. Chapter five is devoted to completions of partial orders and lattices. He describes completions by cuts and by ideals and compares both methods. Chapter six deals with well-orders and the axiom of choice. He shows some consequences of the axiom of choice and gives statements which are equivalent to this axiom. He proves the Stone representation theorem and also the compactness theorem for propositional logic. In the last chapter he studies some applications of lattices and partial orders in computer science. So he deals with denotational semantics and distributed systems.

Recommendations

Cited in

(11)

This page was built for publication: Orders and lattices. Basics, approaches and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2637247)