Heyting field
From Wikipedia, the free encyclopedia
A Heyting field is one of the inequivalent ways in constructive mathematics to capture the classical notion of a field. It is essentially a field with an apartness relation.
This article relies largely or entirely on a single source. (May 2024) |