Login / Signup

Forcing axioms and the Galvin number.

Shimon GartiYair HayutHaim HorowitzMenachem Magidor
Published in: Period. Math. Hung. (2022)
Keyphrases
  • knowledge base
  • small number
  • computational effort
  • fixed number
  • real time
  • data mining
  • decision trees