Showing changes from revision #2 to #3:
Added | Removed | Changed
A Heyting cancellation -algebra is a $\mathbb{Z}$-algebra with
The integers are a Heyting cancellation -algebra.
The rational numbers are a Heyting cancellation -algebra.
Every discrete cancellation Z-algebra is a Heyting cancellation -algebra.
Every Heyting cancellation ring is a Heyting cancellation -algebra.
Every Heyting division Z-algebra is a Heyting cancellation -algebra.
Every Heyting reciprocal Z-algebra is a Heyting cancellation -algebra.