Conservativity of Ultrafilters over Subsystems of second order Arithmetic.

Antonio Montalbán Richard A. Shore

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

Keyphrases

higher order
high order
floating point
neural network
arithmetic operations
image processing
search algorithm
artificial neural networks
databases
information systems
clustering algorithm
three dimensional
multiresolution
fourth order
hessian matrix