Homotopy Type Theory Heyting domain > history (changes)

Showing changes from revision #2 to #3: Added | ~~Removed~~ | ~~Chan~~ged

~~Definition~~

~~Heyting domain~~ ~~is a~~ ~~Heyting cancellation ring~~ ~~$(A, +, -, 0, \cdot, 1, #)$~~ ~~with a term~~ ~~$p: 0 # 1$~~ .

~~Examples~~

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 domain.

~~See also~~

ring

domain

Last revised on June 13, 2022 at 01:04:19. See the history of this page for a list of all contributions to it.