On finite models of regular identities

DOI10.1305/NDJFL/1093635244MaRDI QIDQ908902zbMATH OpenOpenAlexFDO

Authors Józef Dudek, Andrzej Kisielewicz

Publication date 1989

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093635244

zbMATH Keywords

finite type of algebrasmodels of regular identitiessemilattice

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Model theory of finite structures (03C13)

Review text

A regular identity is one where the same variables appear on both sides of \(=\). For each finite type \(\tau\) of algebras and each set A with a semilattice operation one can define a \(\tau\)-semilattice on A. \(\tau\)- semilattices are ``trivial models of regular identities. The authors give a finite set of regular identities \(\Sigma\) such that each finite model of \(\Sigma\) is a \(<2,2>\)-semilattice and such that \(\Sigma\) has a model which is not a \(<2,2>\)-semilattice. They also show that a single regular identity has a nontrivial finite model (not a \(\tau\)- semilattice).

Recommendations

• On regular identities
• On the structure of semilattice sums
• scientific article; zbMATH DE number 437431
• scientific article; zbMATH DE number 3865360
• On normal and regular identities

Cited in

(6)

• A note on models of identities
• Idempotent algebras with log-linear free spectra
• Affine spaces as models for regular identities
• On the structure of semilattice sums
• Dedekind's numbers characterize distributive lattices
• On regular identities

This page was built for publication: On finite models of regular identities

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