Form equivalence class Howard-Rubin Number: 0

Statement:

Every infinite Dedekind finite field is the direct limit of a strictly increasing \(\omega \)-sequence of finite subfields.

Howard-Rubin number: 0 R

Citations (articles): Hickman [1982] Automorphisms of medial fields

Connections (notes): Note [45] For research on set theory without \(AC\)
Note [94] Relationships between the different definitions of finite

References (books):

Back