Окурки по алгебре

Питающее поле Поле Хейтинга — неэквивалентный способ передачи классического понятия поля в конструктивной математике.  Коммутативное кольцо является полем Хейтинга, если […]