Showing changes from revision #1 to #2:
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.
Last revised on June 13, 2022 at 01:07:22. See the history of this page for a list of all contributions to it.