Formalizing Forcing Arguments in Subsystems of Second-Order Arithmetic.

Published in: Ann. Pure Appl. Log. (1996)

Keyphrases

higher order
arithmetic operations
floating point
fourth order
real world
high order
argumentation systems
hessian matrix
machine learning
search engine
multiscale
objective function
search algorithm
multiresolution
data model
argumentation frameworks