Information 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.
You may also like
This book offers the reader an overview of recent developments of integral equations on time scales. It also contains elegant analytical and numerical methods...
Now considered a classic text on the topic, Measure and Integral: An Introduction to Real Analysis provides an introduction to real analysis by first...
The book provides a comprehensive introduction to the mathematical theory of nonlinear problems described by elliptic partial differential equations. These...
- Nutrition for Veterinary Technicians and Nurses by Ann Wortinger PDF
- Modern Physics 4th Edition by Kenneth S. Krane PDF
- Physics for Scientists and Engineers with Modern Physics 9th Edition by Raymond A. Serway PDF
- Elementary Textbook on Physics Vol 1by Landsberg PDF
- Introduction to Particle Physics by Dong Sheng Du PDF