## Definition ## A __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]]