An Isomorphism Between Monoids of External Embeddings: About Definability in Arithmetic.

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

Keyphrases

internal and external
low dimensional
vector space
euclidean space
propositional logic
external information
dimensionality reduction
graph theory
graph isomorphism
real time
social networks
distance measure
sufficient conditions
np complete
arithmetic operations