Model companions of quasivarieties of polygons (Q1288096)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Model companions of quasivarieties of polygons |
scientific article; zbMATH DE number 1285624
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model companions of quasivarieties of polygons |
scientific article; zbMATH DE number 1285624 |
Statements
Model companions of quasivarieties of polygons (English)
0 references
10 May 1999
0 references
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.
0 references
model companion
0 references
polygon
0 references
quasivariety
0 references
axiomatizability
0 references
amalgamation property
0 references
congruence extension property
0 references
