The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis.

Dag Normann Sam Sanders

Published in: J. Log. Comput. (2021)

Keyphrases

computer algebra
theoretical basis
theoretical framework
data mining
computer science
theoretical foundation
neural network
computer vision
knowledge base
search algorithm
information technology
computational models
inference rules