Boolean Algebras, Stone Spaces, and the Iterated Turing Jump.

Carl G. Jockusch Jr.Robert I. Soare

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

Keyphrases

topological spaces
real valued
boolean functions
machine intelligence
spatial reasoning
design space
neural network
data mining
artificial intelligence
image sequences
np complete
multi valued
approximation spaces
turing machine