Open sets in computability theory and reverse mathematics.

Dag Normann Sam Sanders

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

Keyphrases

computer algebra
theoretical framework
set theoretic
theoretical basis
artificial intelligence
computational model
general theory
database
information systems
computer science
theoretical foundation