(Q5118283)

English

Church–Kleene ordinal

the order type of the set of all recursive ordinals

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit