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