(Q676835)

English

recursively enumerable set

a set that can be output (enumerated) by an algorithm (mathematical logic, computability theory)

  • computably enumerable set
  • c.e. set
  • r.e. set
  • semidecidable set
  • partially decidable set
  • listable set
  • provable set
  • Turing-recognizable set
  • provable

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit