A Generalization of Tennenbaum's Theorem on Effectively Finite Recursive Linear Orderings.

Richard Watnick

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

Keyphrases

closed form
reduced order
real time
data sets
machine learning
search engine
multiscale
data model
linear model
finite number
finite dimensional
linearly separable