Description: Form 32 does not imply Form 338
Content:
Form 32 does not imply Form 338. Form 32 is \(C(\aleph_0,\aleph_0)\) and Form 338 is \(UT(\aleph_0,\aleph_0,WO)\). In model \(\cal N18\), Form 32 is true, but the set of atoms is a denumerable union of denumerable sets and cannot be well ordered.
Howard-Rubin number: 4
Type: Implication
Back