Showing changes from revision #1 to #2:
Added | Removed | Changed
A Heyting reciprocal -algebra is a unital $\mathbb{Z}$-algebra with
The rational numbers are a Heyting reciprocal -algebra.
Every discrete reciprocal $\mathbb{Z}$-algebra is a Heyting reciprocal -algebra.
Every Heyting reciprocal ring is a Heyting reciprocal -algebra.
Last revised on June 12, 2022 at 20:17:01. See the history of this page for a list of all contributions to it.