Decidable unary varieties

DOI10.1007/BF01188378MaRDI QIDQ1085191zbMATH OpenFDO

Authors Matthew Valeriote

Publication date 1987

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01188378

zbMATH Keywords

decidable first order theoryfinitely generated algebraunary termsvariety of unary algebras

Mathematics Subject Classification ID

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

Review text

Let \({\mathcal V}\) denote a variety of unary algebras (in Birkhoff's sense) of finite type which is locally finite, i.e. every finitely generated algebra in \({\mathcal V}\) is finite. Let M(\({\mathcal V})\) be the monoid of all unary terms of \({\mathcal V}\). Then \({\mathcal V}\) has a decidable first order theory if and only if the left ideals of \({\mathcal M}({\mathcal V})\) form an inclusion-ordered chain.

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

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

Cited in

(10)

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

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)