A transfer principle for second-order arithmetic, and applications.

Merlin Carl Asgar Jamneshan

Published in: J. Log. Anal. (2018)

Keyphrases

higher order
knowledge transfer
arithmetic operations
high order
case study
multiscale
collaborative filtering
floating point