Login / Signup

Generics for computable Mathias forcing.

Peter CholakDamir D. DzhafarovJeffry L. HirstTheodore A. Slaman
Published in: Ann. Pure Appl. Log. (2014)
Keyphrases
  • finite sets
  • data sets
  • turing machine
  • data structure
  • pattern recognition