Login / Signup

Incompatible Omega-complete theories.

Peter KoellnerW. Hugh Woodin
Published in: J. Symb. Log. (2009)
Keyphrases
  • databases
  • website
  • three dimensional
  • expert systems
  • theoretical framework