Hindman's theorem: an ultrafilter argument in second order arithmetic.

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

Keyphrases

higher order
high order
floating point
von neumann
legal cases
neural network
arithmetic operations
finite sets
legal argument
multiscale
multiresolution
fourth order
argumentation systems