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