The following pages link to A note on equational theories (Q2710602):
Displaying 17 items.
- Existential and positive theories of equations in graph products (Q705067) (← links)
- Equational theories as congruences of enriched monoids (Q934894) (← links)
- Comparing axiomatizations of free pseudospaces (Q1031828) (← links)
- Perfect bases for equational theories (Q1904140) (← links)
- A model-theoretic study of right-angled buildings (Q2408260) (← links)
- The indiscernible topology: A mock Zariski topology (Q2732508) (← links)
- (Q2753685) (← links)
- EQUATIONAL THEORIES GENERATED BY HYPERSUBSTITUTIONS OF TYPE (n) (Q3043643) (← links)
- (Q3496387) (← links)
- Equational subsystems (Q3987714) (← links)
- Theories with equational forking (Q4532618) (← links)
- (Q4790398) (← links)
- (Q5074667) (← links)
- A note on equality in finite‐type arithmetic (Q5108108) (← links)
- EQUATIONAL THEORIES OF FIELDS (Q5148112) (← links)
- Trois couleurs: A new non-equational theory (Q5162579) (← links)
- On the Fixpoint Theory of Equality and Its Applications (Q5459195) (← links)