Sets and ordered structures (Q2883378)

From MaRDI portal





scientific article; zbMATH DE number 6032383
Language Label Description Also known as
English
Sets and ordered structures
scientific article; zbMATH DE number 6032383

    Statements

    0 references
    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
    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
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references