Minimal quasivarieties of endographs
type: Item
instance of: scholarly article
title: Minimal quasivarieties of endographs
zbMATH Open document ID: 0803.08006
author: S. V. Sizyj
published in: Mathematical Notes
publication date: 1994-04-12T00:00:00Z
review text: Let \(\langle A; p,f\rangle\) be an algebraic system containing a binary predicate symbol \(p\) and a unary function symbol \(f\). An algebraic system \(\langle A; p,f\rangle\) is said to be an endograph if it satisfies the quasi-identity \((\forall x)(\forall y)(p(x,y)\to p(f(x),f(y)))\). The author proves that a set of minimal quasivarieties of endographs which has no independent basis of quasi-identities has the cardinality of the continuum.
Mathematics Subject Classification ID: 08C15
zbMATH DE Number: 525694
zbMATH Keywords: endograph
zbMATH Keywords: minimal quasivarieties
zbMATH Keywords: independent basis
zbMATH Keywords: quasi-identities
zbMATH Keywords: cardinality
zbMATH Keywords: continuum
reviewed by: Alexander Ivanovich Budkin
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 525694