Showing changes from revision #1 to #2:
Added | Removed | Changed
< field
A commutative Heyting reciprocal ring is a Heyting reciprocal ring with a commutative identity for :
Every commutative Heyting reciprocal ring is a commutative Heyting division ring.
The rational numbers are a commutative Heyting reciprocal ring.
Every commutative discrete reciprocal ring is a commutative Heyting reciprocal ring.
Every commutative Heyting division ring is a commutative Heyting reciprocal ring.
Every Heyting field is a commutative Heyting reciprocal ring.