Homotopy Type Theory Heyting skewfield > history (Rev #2, changes)

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

~~Definition~~

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

~~Examples~~

The rational numbers are a Heyting skewfield.

Every discrete skewfield is a Heyting skewfield.

Every Heyting field is a Heyting skewfield.

~~See also~~

ring

skewfield

Revision on June 12, 2022 at 20:47:37 by Anonymous?. See the history of this page for a list of all contributions to it.