Form equivalence class Howard-Rubin Number:
1
Statement:
Form 163 + Form 8.
Howard-Rubin number:
1 G
Citations (articles):
Brunner [1982a]
Dedekind-Endlichkeit und Wohlordenbarkeit
Connections (notes):
Note [94]
Relationships between the different definitions of finite
References (books):
Back