Sets and ordered structures (Q2883378)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Sets and ordered structures |
scientific article; zbMATH DE number 6032383
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sets and ordered structures |
scientific article; zbMATH DE number 6032383 |
Statements
10 May 2012
0 references
partially ordered set
0 references
totally ordered set
0 references
category
0 references
lattice
0 references
complete lattice
0 references
closure operation
0 references
Galois connection
0 references
distributive lattice
0 references
topological duality
0 references
Stone space
0 references
ordinal
0 references
cardinal
0 references
Heyting algebra
0 references
axiom of choice
0 references
well ordering
0 references
0 references
0 references
0 references
0.8954792
0 references
Sets and ordered structures (English)
0 references
In this book the author presents several basis methods and results of the theory of ordered sets that are used in various branches of mathematics.NEWLINENEWLINEIn the first chapter he starts with a sketch of axiomatic set theory and categories. In the following chapter he deals with partially and totally ordered sets. He discusses statements that are equivalent to the axiom of choice. He establishes the basic properties of well-ordered sets. In the third chapter he introduces ordinals and cardinals and presents the von Neumann construction of ordinals. In Chapter 4 he provides lattice-theoretic tools used in various fields of mathematics: He gives some background necessary in universal algebra. He investigates complete lattices, closure operations and Galois connections. In Chapter 5 he discusses meet and join representations in a lattice and develops the topological duality for distributive lattices. In the last section the author sketches some applications in algebra, topology, universal algebra, analysis and logic.
0 references