Definability of Measures and Ultrafilters.

David Pincus Robert Solovay

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

Keyphrases

neural network
computational complexity
three dimensional
propositional logic
real time
genetic algorithm
search engine
computer vision
image processing
user interface
first order logic
fixed point
quantitative measures