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]] |