Showing changes from revision #1 to #2:
Added | Removed | Changed
A Heyting domain is a Heyting cancellation ring with a term .
The integers are a Heyting domain.
The rational numbers are a Heyting domain
Every discrete domain is a Heyting domain.
Every Heyting skewfield is a Heyting skewfield. domain.