An ordinal-connection axiom as a weak form of global choice under the GCH.

Rodrigo A. FreirePeter Holy
Published in: Arch. Math. Log. (2023)
Keyphrases
  • wide range
  • artificial intelligence
  • face recognition
  • multiscale
  • knowledge representation