Showing changes from revision #1 to #2:
Added | Removed | Changed
< field
A
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.
Last revised on June 12, 2022 at 20:43:30. See the history of this page for a list of all contributions to it.