A computably categorical structure whose expansion by a constant has infinite computable dimension.

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

Keyphrases