Rozszerzenia przy użyciu pojęć forsingu spełniających -cc zachowują liczby kardynalne większe lub równe
Antyłańcuchy w algebrach Boole’a Definicja Ponieważ algebry Boole’a są też pojęciami forsingu, forsingowa definicja antyłańcuchów jest naturalnie przenoszona na algebry Boole’a. Niech będzie algebrą Boole’a. Zbiór jest antyłańcuchem w wtedy i tylko wtedy, gdy każde dwa różne elementy są rozłączne, tzn.
Celularność Celularność jest funkcją kardynalną określona na algebrach Boole’a. Celularność algebry Boole’a jest to supremum mocy antyłańcuchów w
Mówimy, że algebra Boole’a spełnia ccc, jeśli
Twierdzenie Erdősa-Tarskiego mówi, że jeśli celularność algebry Boole’a jest liczbą singularną, to istnieje antyłańcuch mocy
Linki zewnętrzne [dostęp 2024-03-07].
Kategoria:Porządki