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