The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic.

Nobuyuki Sakamoto Keita Yokoyama

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

Keyphrases

digital topology
von neumann
data sets
databases
neural network
decision trees
similarity measure
reinforcement learning
multi agent
higher order
digital surface
interactive theorem proving