Hereditary undecidability of some theories of finite structures
From MaRDI portal
Publication:4323040
DOI10.2307/2275703zbMath0815.03029MaRDI QIDQ4323040
Publication date: 2 July 1995
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275703
Related Items
An optimal construction of Hanf sentences, Hyperfinite MV-algebras, A Characterization of Finitely Decidable Congruence Modular Varieties
Cites Work
- Unnamed Item
- Certain logical reduction and decision problems
- Unsolvability of the universal theory of finite groups
- Varieties with decidable finite algebras. I: Linearity
- Varieties with decidable finite algebras. II: Permutability
- The structure of decidable locally finite varieties
- Finitary decidability implies congruence permutability for congruence modular varieties
- Wild representation type and undecidability
- Decidable discriminator varieties from unary varieties
- SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES