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 20:55] jipsen |
start [2024/10/13 06:35] (current) deleteme |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== Mathematical Structures ===== | ===== Mathematical Structures ===== | ||
| - | The webpages | + | ====These pages have moved to GitHub==== |
| + | |||
| + | https:// | ||
| + | |||
| + | The pages collected here list information about classes of | ||
| 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 have moved. Click the link above for the latest version. /*are currently still under construction. Knowledgeable readers are encouraged to email additions or corrections to Peter Jipsen add or correct information.*/ | ||
| + | /*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.] |
| + | 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 18: | Line 37: | ||
| === Alphabetical list of all classes === | === Alphabetical list of all classes === | ||
| - | -[[Abelian groups]] [[wp> | + | -[[Abelian groups]] |
| -[[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]] |
| -[[Action lattices]] | -[[Action lattices]] | ||
| -[[Algebraic lattices]] | -[[Algebraic lattices]] | ||
| - | -[[Algebraic posets]] [[wp> | + | -[[Algebraic posets]] |
| -[[Algebraic semilattices]] | -[[Algebraic semilattices]] | ||
| - | -[[Allegories]] [[wp> | + | -[[Allegories]] |
| -[[Almost distributive lattices]] | -[[Almost distributive lattices]] | ||
| - | -[[Associative algebras]] [[wp> | + | -[[Associative algebras]] |
| - | -[[Banach spaces]] [[wp> | + | -[[Banach spaces]] |
| - | -[[Bands]] [[wp> | + | -[[Bands]] |
| -[[Basic logic algebras]] | -[[Basic logic algebras]] | ||
| - | -[[BCI-algebras]] [[wp>BCI algebra]] | + | -[[BCI-algebras]] |
| - | -[[BCK-algebras]] [[wp>BCK algebra]] | + | -[[BCK-algebras]] |
| -[[BCK-join-semilattices]] | -[[BCK-join-semilattices]] | ||
| -[[BCK-lattices]] | -[[BCK-lattices]] | ||
| Line 43: | Line 62: | ||
| -[[Binars]], | -[[Binars]], | ||
| -[[Basic logic algebras|BL-algebras]] | -[[Basic logic algebras|BL-algebras]] | ||
| - | -[[Boolean algebras]] [[wp> | + | -[[Boolean algebras]] |
| -[[Boolean algebras with operators]] | -[[Boolean algebras with operators]] | ||
| -[[Boolean groups]] | -[[Boolean groups]] | ||