Обговорення:Теорема Кнастера — Тарського
Найсвіжіший коментар: Bunyk у темі «омега область» 5 місяців тому
омега область
[ред. код]@Олюсь Я тут чомусь не можу заснути читаючи Нікітченко і думаючи звідки він такий термін взяв (певне десь на факультеті кібернетики, бо я його записав на якійсь лекції, не пам'ятаю на чиїй). І вже заблудився в усіх цих гратках, ланцюгах і нерухомих точках.
Є термін індуктивна множина[en], але він має три визначення:
- За Бертраном Расселом - частково впорядкована множина, в якій кожен елемент має наступний
- Посилаючись на якогось Ройтмана, щось дуже схоже на ординали фон Неймана[en] (в нас в статті про Порядкові числа теж є визначення за Нейманом, але не таке конструктивне)
- Посилаючись на Бурбакі, щось дуже схоже на оцю омега-область, множина що задовільняє Лему Цорна
Чи не є повна частково впорядкована множина Цілком впорядкована множина? Чи лінійно впорядкована?
І чи не є оця омега-область якоюсь ґраткою? Чи просто хитрий спосіб сказати що D - множина натуральних чисел? Десь в енвікі ще пише що в математиці ω, the first infinite ordinal number, also understood as the set of all natural numbers". --Буник (обговорення) 22:26, 2 квітня 2024 (UTC)