Login / Signup

Indefiniteness in Semi-Intuitionistic Set Theories: on a Conjecture of Feferman.

Michael Rathjen
Published in: J. Symb. Log. (2016)
Keyphrases
  • small number
  • artificial intelligence
  • real time
  • machine learning
  • decision trees
  • multiscale
  • logic programs
  • fixed point