Complexity of countable categoricity in finite languages
arXiv:1101.3792
Abstract
We study complexity of the index set of countably categorical theories and Ehrenfeucht theories in finite languages.
16 pages
arXiv:1101.3792
We study complexity of the index set of countably categorical theories and Ehrenfeucht theories in finite languages.
16 pages