Mathematical Structures

These pages have moved to GitHub

https://github.com/jipsen/AlgebraicCategories/blob/main/files/index.html.md

The pages collected here list information about classes of mathematical structures. The aim is to have a central place to check what properties are known about these structures.

These pages have moved. Click the link above for the latest version.

Initially the main content concerns mostly first-order classes of relational structures and, more particularly, equationally defined classes of algebraic structures. If you are familiar with some of these classes of structures and would like some information added, please email Peter Jipsen (jipsen@chapman.edu). [Account creation unfortunately had to be disabled.]

New: Boldface links below display lists of finite algebras in a particular class (calculated locally in the browser).

Acknowledgements | Notation and terminology | Properties | Tools | Online books and lecture notes

Varieties | Quasivarieties | Universal classes | First-order classes | Second-order classes

Algebras | Logics | Syntax | Terms | Equations | Horn formulas | Universal formulas | First-order formulas

Alphabetical list of all classes

Template


QR Code
QR Code start (generated for current page)