Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic.

Mariagnese Giusto Alberto Marcone

Published in: Arch. Math. Log. (1998)

Keyphrases

higher order
real numbers
arithmetic operations
high order
neural network
multiscale
real time
databases
data mining
image segmentation
multi agent systems