A decidable variety that is finitely undecidable

Authors
Jeong, JH
Citation
Jh. Jeong, A decidable variety that is finitely undecidable, J SYMB LOG, 64(2), 1999, pp. 651-677
Citations number
16
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF SYMBOLIC LOGIC
ISSN journal
00224812 → ACNP
Volume
64
Issue
2
Year of publication
1999
Pages
651 - 677
Database
ISI
SICI code
0022-4812(199906)64:2<651:ADVTIF>2.0.ZU;2-7
Abstract
We construct a decidable first-order theory T such that the theory of its f inite models is undecidable. Moreover, T will be equationally axiomatizable and of finite type.