Skip to main content
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

Used for questions about REA (aka CEA), sets in computability theory where REA stands for recursively enumerable and above.