Differences

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

index.html [2019/03/28 14:32]
jipsen
index.html [2019/12/10 17:29] (current)
pnotthesamejipsen
Line 5: Line 5:
what properties are known about these structures. what properties are known about these structures.
-These pages are currently still under construction. Knowledgeable readers are encouraged to add or correct information. +These pages 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.+/*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, equationally defined classes of algebraic structures. structures and, more particularly, equationally defined classes of algebraic structures.
-If you are familiar with some of these classes of structures, feel+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 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. link on the respective page. Pages are written in DokuWiki syntax, but mathematical notation is in standard LaTeX.
Line 16: Line 16:
versions of these pages are still available at http://math.chapman.edu/cgi-bin/structures.pl and http://math.chapman.edu/cgi-bin/structures . versions of these pages are still available at http://math.chapman.edu/cgi-bin/structures.pl and http://math.chapman.edu/cgi-bin/structures .
You can use this [[Sandbox]] page to try out editing (without worrying about deleting You can use this [[Sandbox]] page to try out editing (without worrying about deleting
-useful information).+useful information).*/
-[[Suggestions or comments]]? Just follow the link and edit the page.+/*[[Suggestions or comments]]? Just follow the link and edit the page.*/
**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).
Line 87: Line 87:
  -[[Commutative BCK-algebras]]   -[[Commutative BCK-algebras]]
  -[[Commutative binars]], **[[Finite commutative binars]], [[Finite commutative binars with identity|with identity]], [[Finite commutative binars with zero|with zero]], [[Finite commutative binars with identity and zero|with identity and zero]]**   -[[Commutative binars]], **[[Finite commutative binars]], [[Finite commutative binars with identity|with identity]], [[Finite commutative binars with zero|with zero]], [[Finite commutative binars with identity and zero|with identity and zero]]**
 +  -[[Commutative idempotent involutive residuated lattices]]
  -[[Commutative integral ordered monoids]], **[[Finite commutative integral ordered monoids]]**   -[[Commutative integral ordered monoids]], **[[Finite commutative integral ordered monoids]]**
  -[[Commutative inverse semigroups]]   -[[Commutative inverse semigroups]]
 +  -[[Commutative involutive FL-algebras]]
 +  -[[Commutative involutive residuated posets]]
  -[[Commutative lattice-ordered monoids]]   -[[Commutative lattice-ordered monoids]]
  -[[Commutative lattice-ordered rings]]   -[[Commutative lattice-ordered rings]]
Line 121: Line 124:
  -[[Continuous posets]]   -[[Continuous posets]]
  -[[Cyclic involutive FL-algebras]]   -[[Cyclic involutive FL-algebras]]
 +  -[[Cyclic involutive residuated posets]]
  -[[Cylindric algebras]]   -[[Cylindric algebras]]
  -[[De Morgan algebras]]   -[[De Morgan algebras]]
Line 135: Line 139:
  -[[Distributive double p-algebras]]   -[[Distributive double p-algebras]]
  -[[Distributive dual p-algebras]]   -[[Distributive dual p-algebras]]
 +  -[[Distributive involutive residuated lattices]]
  -[[Distributive lattice expansions]]   -[[Distributive lattice expansions]]
  -[[Distributive lattices]]   -[[Distributive lattices]]
Line 182: Line 187:
  -[[Hilbert spaces]]   -[[Hilbert spaces]]
  -[[Hoops]]   -[[Hoops]]
 +  -[[Idempotent residuated lattices]]
 +  -[[Idempotent involutive residuated lattices]]
  -[[Idempotent semirings]]   -[[Idempotent semirings]]
  -[[Idempotent semirings with identity]]   -[[Idempotent semirings with identity]]
Line 198: Line 205:
  -[[Involutive lattices]]   -[[Involutive lattices]]
  -[[Involutive FL-algebras|Involutive residuated lattices]]   -[[Involutive FL-algebras|Involutive residuated lattices]]
 +  -[[Involutive residuated posets]]
  -[[Join-semidistributive lattices]]   -[[Join-semidistributive lattices]]
  -[[Semilattices|Join-semilattices]]   -[[Semilattices|Join-semilattices]]
Line 215: Line 223:
  -[[Left neofield]]   -[[Left neofield]]
  -[[Lie algebras]]   -[[Lie algebras]]
 +  -[[Commutative residuated partially ordered monoids|Lineales]]
  -[[Goedel algebras|Linear Heyting algebras]]   -[[Goedel algebras|Linear Heyting algebras]]
  -[[Linear logic algebras]]   -[[Linear logic algebras]]
Line 250: Line 259:
  -[[Near-rings with identity]]   -[[Near-rings with identity]]
  -[[Near-fields]]   -[[Near-fields]]
 +  -[[Neofields]]
  -[[Nilpotent groups]]   -[[Nilpotent groups]]
  -[[Nonassociative relation algebras]]   -[[Nonassociative relation algebras]]
Line 319: Line 329:
  -[[Residuated partially ordered monoids]]   -[[Residuated partially ordered monoids]]
  -[[Residuated partially ordered semigroups]]   -[[Residuated partially ordered semigroups]]
 +  -[[Residuated partially ordered monoids|Residuated posets]]
  -[[Right residuated binars]]   -[[Right residuated binars]]
  -[[Right hoops]]   -[[Right hoops]]
Line 351: Line 362:
  -[[Steiner quasigroups]]   -[[Steiner quasigroups]]
  -[[Stone algebras]]   -[[Stone algebras]]
 +  -[[Sugihara algebras]]
 +  -[[Sugihara monoids]]
  -[[Symmetric relations]]   -[[Symmetric relations]]
  -[[T0-spaces]]   -[[T0-spaces]]