Аксіома Мартіна
Матеріал з Вікіпедії — вільної енциклопедії.
Аксіома Мартіна — аксіома в теорії множин введена Дональдом Мартіном[en] і Робертом Соловеєм, що не залежить від аксіоматики ZFC.
Вона стверджує, що всі кардинали менші за кардинал континууму, ведуть себе подібно до .
Для кардинала 𝛋 < , визначимо твердження MA(𝛋):
Для P частково впорядкованої множини, в якій виконується умова зліченності ланцюгів
та D — сімейства щільних множин в P таких, що |D | ≤ 𝛋,
в P існує загальний фільтр F: такий фільтр, що F ∩ d є не порожньою множиною для кожної d із D.
Частковим випадком, а саме є лема Расьової — Сікорського.
Узагальненнями цієї аксіоми є аксіома правильного форсінгу (PFA) та максимум Мартіна (MM).
- Александров П.С. Введение в теорию множеств и общую топологию. — Москва : Наука, 1977. — 368 с. — ISBN 5354008220.(рос.)
- Куратовский К., Мостовский А. Теория множеств = Set Theory (Teoria mnogości). — М. : Мир, 1970. — 416 с.(рос.)
Аксіоми |
| |
---|---|---|
Операції | ||
Концепції • Методи |
| |
Типи множин | ||
Теорії |
| |
Парадокси • Гіпотези |
| |
Теоретики | ||
Інше |
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.