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