Ivo Rosenberg determined all finite, finitary, functionally precomplete algebras; he split them up naturally into six classes according to the kind of relation which is preserved by the polynomials of each such algebra. The purpose of this memoir is to locate these algebras in t…
In part I we address the question: which varieties have a decidable first order theory? We confine our attention to varieties whose algebras have modular congruence lattices (i.e., modular varieties), and focus primarily on locally finite varieties, although near the end of the …
The book is devoted to the investigation of algebraic structure. The emphasis is on the algebraic nature of real automation, which appears as a natural three-sorted algebraic structure, that allows for a rich algebraic theory. Based on a general category position, fuzzy and stoc…
Algebraic set theory
by Joyal, André, Moerdijk, Ieke
fromLondon Mathematical Society lecture note series
Algebraic set theory
by Joyal, André, Moerdijk, Ieke
fromLondon Mathematical Society lecture note series
This book offers a new, algebraic, approach to set theory.
