Питающее поле

Поле Хейтинга — неэквивалентный способ передачи классического понятия поля в конструктивной математике.
Коммутативное кольцо является полем Хейтинга, если оно является полем и каждый необратимый элемент равен нулю.
Третья аксиома утверждает, что алгебраическая операция «+» передает обратимость на один из своих входов.
Слабое поле Хейтинга — структура, определенная без учета третьей аксиомы, эквивалентная исключенной середине.
Отношение обособленности определяется через запись a # b, если a — b обратимо.
¬(a = 0) недостаточно для построения обратной функции a, но a # 0 достаточно.
Прототипным полем Хейтинга являются реальные числа.

Полный текст статьи:

Хейтинг Филд