Decidable unary varieties

DOI10.1007/BF01188378zbMATH Open0607.08004MaRDI QIDQ1085191FDOQ1085191

Authors: Matthew Valeriote 

Publication date: 1987

Published in: Algebra Universalis (Search for Journal in Brave)

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

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)

Cites Work

• Title not available (Why is that?)
• Decidability of Second-Order Theories and Automata on Infinite Trees
• The structure of decidable locally finite varieties
• Decidability and Boolean representations
• Group-universal unary 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
• Title not available (Why is that?)
• Compatible relations on Heyting chains
• Church-Rosser property and decidability of monadic theories of unary algebras
• Title not available (Why is that?)

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)