A decidable variety that is finitely undecidable

DOI10.2307/2586491zbMath0935.03017OpenAlexW2035160129MaRDI QIDQ4262575

Joohee Jeong

Publication date: 12 September 1999

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586491

zbMATH Keywords

finite modelsuniversal algebrafinite decidabilitydecidable first-order theorysheaf constructions

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Model theory of finite structures (03C13) Varieties (08B99)

Related Items

Decidable Discriminator Varieties from Unary Classes

Cites Work

• The structure of decidable locally finite varieties
• Finite inseparability of some theories of cylindrification algebras
• Unnamed Item

This page was built for publication: A decidable variety that is finitely undecidable