Mathematical Structures: History of BCK-algebras

[Home]History of BCK-algebras

HomePage | RecentChanges | Login

Revision 13 . . July 27, 2004 7:00 pm by Jipsen
Revision 12 . . June 27, 2004 9:53 am by Peter
Revision 11 . . June 27, 2004 9:52 am by Peter
Revision 10 . . June 27, 2004 9:41 am by Peter
Revision 9 . . (edit) June 2, 2003 9:34 pm by 131.193.13.xxx
  
Difference (from prior major revision) (no other diffs)

Changed: 76c76
First-order theory & \\\hline
First-order theory & undecidable\\\hline

Changed: 78c78
Residual size & \\\hline
Residual size & unbounded\\\hline

Changed: 85,86c85,86
Definable principal congruences & \\\hline
Equationally def. pr. cong. & \\\hline
Definable principal congruences & no\\\hline
Equationally def. pr. cong. & no\\\hline
HomePage | RecentChanges | Login
Search: