On computable self-embeddings of computable linear orderings.

Rodney G. Downey Bart Kastermans Steffen Lempp

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

Keyphrases

turing machine
low dimensional
similarity search

real time
multi agent

neural network
closed form

linear systems
finite sets