Article contents
A decidable variety that is finitely undecidable
Published online by Cambridge University Press: 12 March 2014
Abstract
We construct a decidable first-order theory T such that the theory of its finite models is undecidable. Moreover, T will be equationally axiomatizable and of finite type.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1999
References
REFERENCES
- 1
- Cited by