Hereditary undecidability of some theories of finite structures

DOI10.2307/2275703zbMath0815.03029OpenAlexW1976576221MaRDI QIDQ4323040

Ross Willard

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

zbMATH Keywords

pseudovarietieshereditary undecidabilityfirst-order theories of finite structures

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Model theory of finite structures (03C13)

Related Items (3)

Hyperfinite MV-algebras ⋮ An optimal construction of Hanf sentences ⋮ 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

This page was built for publication: Hereditary undecidability of some theories of finite structures