bn:02051993n
Noun Concept
PT
No term available
EN
A Heyting field is one of the inequivalent ways in constructive mathematics to capture the classical notion of a field. Wikipedia
Relations
Sources
NAMED AFTER