Form equivalence class Howard-Rubin Number: 1

Statement:

Form 164 + Form 67.

Howard-Rubin number: 1 H

Citations (articles): Brunner [1982a] Dedekind-Endlichkeit und Wohlordenbarkeit

Connections (notes): Note [94] Relationships between the different definitions of finite

References (books):

Back