(Q17097900)

English

formally real field

field that can be equipped with an ordering

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit