Model companions of quasivarieties of polygons

DOI10.1007/BF02672924MaRDI QIDQ1288096zbMATH OpenOpenAlexFDO

Authors Alena Andreevna Stepanova

Publication date 10 May 1999

Published in Siberian Mathematical Journal (Search for Journal in Brave)

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

zbMATH Keywords

amalgamation propertyaxiomatizabilitycongruence extension propertymodel companionpolygonquasivariety

Mathematics Subject Classification ID

Properties of classes of models (03C52) Models of other mathematical theories (03C65) Quasivarieties (08C15)

Review text

The author studies the existence problem for model companions of quasivarieties of polygons. Let \(\mathcal H\) be the class of polygons which possesses the amalgamation property and the congruence extension property. In the article under review, the existence of a model companion for \(\mathcal H\) is proven to be equivalent to each of the following two properties: (1) \(\mathcal H\) is coherent; (2) the class Abs(\(\mathcal H\)) of polygons being absolutely pure in \(\mathcal H\) is axiomatizable.

Recommendations

• Structural problems for model companions of varieties of polygons
• Axiomatizability and completeness of some classes of \(S\)-polygons
• scientific article; zbMATH DE number 2203308
• scientific article; zbMATH DE number 3930979

Cites work

• scientific article; zbMATH DE number 192904 (Why is no real title available?)
• MODEL COMPANIONS OF S-SYSTEMS
• Model-completions and modules
• Purity in the category of M-sets

Cited in

(1)

• Structural problems for model companions of varieties of polygons

This page was built for publication: Model companions of quasivarieties of polygons

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