Statement:
\(L^{1} = HOD\).
Howard_Rubin_Number: 230
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Szczepaniak-1977: The consistency of the Theory \(ZF + L^{1} \neq HOD\)
Book references
Note connections:
Note 82
We give the definitions for Form 230 (\( L^{1} = HOD\)) from Myhill/Scott [1971]