Statement:
The regular cardinals are cofinal in the class of ordinals.
Howard_Rubin_Number: 159
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:
Blass-1983b: Words, free algebras and coequalizers
Book references
Note connections:
| Howard-Rubin Number | Statement | References |
|---|---|---|
| 159 A | Every variety has an initial algebra. |
Blass [1983b]
Note [32] |
| 159 B | For every variety \(V\) and set \(X\), \(V\) has a free algebra on \(X\). |
Blass [1983b]
Note [32] |