Decidable unary varieties

DOI10.1007/BF01188378MaRDI QIDQ1085191zbMATH OpenFDO

Authors Matthew Valeriote

Publication date 1987

Published in Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

finitely generated algebravariety of unary algebrasdecidable first order theoryunary terms

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Basic properties of first-order languages and structures (03C07) Unary algebras (08A60) Other classical first-order model theory (03C68)

Recommendations

• scientific article; zbMATH DE number 125210
• On pseudovarieties of monounary algebras
• scientific article; zbMATH DE number 47296
• Decidable Discriminator Varieties from Unary Classes
• A sufficient condition for finite decidability

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• Decidability and Boolean representations
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Group-universal unary varieties
• The structure of decidable locally finite varieties

Cited in

(10)

• Decidable Discriminator Varieties from Unary Classes
• Deciding determinism of unary languages
• Decidability of behavioural equivalence in unary PCF
• Decidable discriminator varieties from unary varieties
• Deterministic unimodularity certification
• Finitely Decidable Congruence Modular Varieties
• scientific article; zbMATH DE number 1696827 (Why is no real title available?)
• Compatible relations on Heyting chains
• Church-Rosser property and decidability of monadic theories of unary algebras
• scientific article; zbMATH DE number 4012584 (Why is no real title available?)

This page was built for publication: Decidable unary varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1085191)