Logika i teoria mnogości/Test 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną

NIE

Czy jeśli zbiory częściowo uporządkowane $\displaystyle (X,\leq _{X})$ i $\displaystyle (Y,\leq _{Y})$ są uporządkowane dobrze, to zbiór $\displaystyle X\times Y$ jest dobrze uporządkowany przez relację $\displaystyle \leq$ zdefiniowaną jako

$\displaystyle (x,y)\leq (w,v)\iff x\leq _{X}w\land y\leq _{Y}v?$

TAK Źle

NIE Dobrze

TAK

Czy każdy niepusty zbiór dobrze uporządkowany posiada przynajmniej jeden element graniczny?

TAK Dobrze

NIE Źle

TAK

Czy porządek leksykograficzny na iloczynie kartezjańskim zbiorów dobrze uporządkowanych jest dobry?

TAK Dobrze

NIE Źle

NIE

Czy dwa różne dobre porządki na tym samym zbiorze mogą być porównywalne w sensie inkluzji?

TAK Źle

NIE Dobrze

TAK

Czy istnieje zbiór, który niepusto przecina się z każdą liczbą porządkową?

TAK Dobrze

NIE Źle

TAK

Czy istnieje zbiór rozłączny ze wszystkimi liczbami porządkowymi?

TAK Dobrze

NIE Źle

TAK

Czy dla dowolnego zbioru $\displaystyle X$ istnieje najmniejsza, pod względem inkluzji, liczba porządkowa równoliczna z $\displaystyle X$ (zakładając ZFC)?

TAK Dobrze

NIE Źle

TAK

Czy istnieje zbiór równoliczny z dokładnie jedną liczbą porządkową?

TAK Dobrze

NIE Źle

TAK

Czy każdy podzbiór zbioru dobrze uporządkowanego jest dobrze uporządkowany?

TAK Dobrze

NIE Źle

NIE

Czy każdy podzbiór liczby porządkowej jest liczbą porządkową?

TAK Źle

NIE Dobrze

TAK

Czy jeśli $\displaystyle A$ jest zbiorem liczb porządkowych, to $\displaystyle \bigcup A$ jest liczbą porządkową?

TAK Dobrze

NIE Źle