The following pages link to Horn sentences in identity theory (Q5722254):
Displaying 5 items.
- Horn sentences excluding a prime (Q1080848) (← links)
- Properties preserved under algebraic constructions (Q3257768) (← links)
- An algorithm to determine, for any prime <i>p</i>, a polynomial-sized Horn sentence which expresses “The cardinality is not <i>p</i>” (Q4723703) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Paris, 1985 (Q4724593) (← links)
- Reduced Products and Horn Classes (Q5596751) (← links)
