The Recursively Mahlo Property in Second Order Arithmetic.

Michael Rathjen

Published in: Math. Log. Q. (1996)

Keyphrases

higher order
desirable properties
arithmetic operations
real time
neural network
image processing
web services
special case
hierarchical structure
coarse to fine
floating point