[Home]Classtype

HomePage | RecentChanges | Preferences

Difference (from revision 1 to current revision) (minor diff, author diff)

Changed: 4c4
variety, quasivariety universal class, first-order class, second-order class, higher-order class.
variety, quasivariety, universal class, first-order class, second-order class, [higher-order class]?.

The classtype of a class of structures is the strongest concept from this list that applies to the class:

variety, quasivariety, universal class, first-order class, second-order class, [higher-order class]?.


HomePage | RecentChanges | Preferences
This page is read-only | View other revisions
Last edited March 7, 2003 12:49 am (diff)
Search: