Level by level equivalence and strong compactness.

Arthur W. Apter

Published in: Math. Log. Q. (2004)

Keyphrases

real time
levels of abstraction
databases
high level
high quality
multiresolution