Statement:
Suppose \(\epsilon > 0\) is an ordinal. \(\forall x\), \(x\in W(\epsilon\)).
Howard_Rubin_Number: 179-epsilon
Parameter(s): This form depends on the following parameter(s): \(\beta\), \(\beta\): ordinal number
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
David-1980: A result of relative consistency about the predicate \(WO(\delta ,x)\)
Book references
Note connections:
Note 25
For forms Form 144 and Form 179-\(\epsilon\)