Showing changes from revision #0 to #1:
Added | Removed | Changed
A commutative Heyting cancellation ring is a Heyting cancellation ring that is also a commutative ring.
The integers are a commutative Heyting cancellation ring.
The rational numbers are a commutative Heyting cancellation ring.
Every commutative discrete cancellation ring is a commutative Heyting cancellation ring.
Every Heyting integral domain is a commutative Heyting cancellation ring.
Every commutative Heyting division ring is a commutative Heyting cancellation ring.
Every commutative Heyting reciprocal ring is a commutative Heyting cancellation ring.