Login / Signup

κ-Madness and definability.

Haim HorowitzSaharon Shelah
Published in: Math. Log. Q. (2022)
Keyphrases
  • fixed point
  • propositional logic
  • finite model theory
  • three dimensional
  • search algorithm
  • expert systems
  • high dimensional