Showing changes from revision #1 to #2:
Added | Removed | Changed
A Heyting reciprocal ring is a ring with
Every Heyting reciprocal ring is a Heyting division ring.
The rational numbers are a Heyting reciprocal ring.
Every discrete reciprocal ring is a Heyting reciprocal ring.
Every Heyting division ring is a Heyting reciprocal ring.
Every Heyting skewfield is a Heyting reciprocal ring.
Last revised on June 12, 2022 at 20:37:00. See the history of this page for a list of all contributions to it.