Congruence Relations, Filters, Ideals, and Definability in Lattices of alpha-Recursively Enumerable Sets.

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

Keyphrases

rough approximations
inductive inference
recursive functions
neural network
partial order
data sets
training data
support vector
pattern recognition
artificial neural networks