# Differences

This shows you the differences between two versions of the page.

Both sides previous revision Previous revision Next revision | Previous revision | ||

start [2021/02/22 21:10] jipsen |
start [2021/05/04 17:24] jipsen |
||
---|---|---|---|

Line 4: | Line 4: | ||

mathematical structures. The aim is to have a central place to check | mathematical structures. The aim is to have a central place to check | ||

what properties are known about these structures. | what properties are known about these structures. | ||

+ | |||

+ | These pages are currently still under construction. / | ||

+ | /*To enable the edit button on each page, use the Login link (above) to log in or create an account.*/ | ||

Initially the main content concerns mostly first-order classes of relational | Initially the main content concerns mostly first-order classes of relational | ||

structures and, more particularly, | structures and, more particularly, | ||

- | 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.] | + | 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.] /*feel |

+ | free to add some relevant information and references by using the edit | ||

+ | link on the respective page. Pages are written in DokuWiki syntax, but mathematical notation is in standard LaTeX. | ||

+ | The previous | ||

+ | versions of these pages are still available at http:// | ||

+ | You can use this [[Sandbox]] page to try out editing (without worrying about deleting | ||

+ | useful information).*/ | ||

+ | | ||

+ | / | ||

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

+ | |||

+ | /*This front page can also be edited to add further classes of structures. A criterion | ||

+ | for inclusion in this list is that there should be some journal publication or book | ||

+ | where the class has been named and defined.*/ | ||

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

Line 15: | Line 30: | ||

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

- | [[Algebras]] | [[Logics]] | [[Syntax]] | [[Terms]] | [[Equations]] | [[Horn formulas]] | [[Universal formulas]] | [[First-order formulas]] | + | [[Algebras]] | [[Logics]] | [[Syntax]] | [[Terms]] | [[Equations]] | [[Horn formulas]] | [[Universal formulas]] | [[First-order formulas]] /*| [[Theories]]*/ |

=== Alphabetical list of all classes === | === Alphabetical list of all classes === | ||

- | -[[Abelian groups]] [[wp> | + | -[[Abelian groups]] nbsp [[wp> |

-[[Abelian lattice-ordered groups]] | -[[Abelian lattice-ordered groups]] | ||

-[[Abelian ordered groups]] | -[[Abelian ordered groups]] | ||

-[[Abelian p-groups]] | -[[Abelian p-groups]] | ||

-[[Abelian partially ordered groups]] | -[[Abelian partially ordered groups]] | ||

- | -[[Action algebras]] [[wp> | + | -[[Action algebras]] nbsp [[wp> |

-[[Action lattices]] | -[[Action lattices]] | ||

-[[Algebraic lattices]] | -[[Algebraic lattices]] | ||

- | -[[Algebraic posets]] [[wp> | + | -[[Algebraic posets]] nbsp [[wp> |

-[[Algebraic semilattices]] | -[[Algebraic semilattices]] | ||

- | -[[Allegories]] [[wp> | + | -[[Allegories]] nbsp [[wp> |

-[[Almost distributive lattices]] | -[[Almost distributive lattices]] | ||

- | -[[Associative algebras]] [[wp> | + | -[[Associative algebras]] nbsp [[wp> |

- | -[[Banach spaces]] [[wp> | + | -[[Banach spaces]] nbsp [[wp> |

- | -[[Bands]] [[wp> | + | -[[Bands]] nbsp [[wp> |

-[[Basic logic algebras]] | -[[Basic logic algebras]] | ||

- | -[[BCI-algebras]] [[wp>BCI algebra]] | + | -[[BCI-algebras]] nbsp [[wp>BCI algebra]] |

- | -[[BCK-algebras]] [[wp>BCK algebra]] | + | -[[BCK-algebras]] nbsp [[wp>BCK algebra]] |

-[[BCK-join-semilattices]] | -[[BCK-join-semilattices]] | ||

-[[BCK-lattices]] | -[[BCK-lattices]] | ||

Line 43: | Line 58: | ||

-[[Binars]], | -[[Binars]], | ||

-[[Basic logic algebras|BL-algebras]] | -[[Basic logic algebras|BL-algebras]] | ||

- | -[[Boolean algebras]] [[wp> | + | -[[Boolean algebras]] nbsp [[wp> |

-[[Boolean algebras with operators]] | -[[Boolean algebras with operators]] | ||

-[[Boolean groups]] | -[[Boolean groups]] |