
doi: 10.1007/bf02672924
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.
Properties of classes of models, polygon, quasivariety, model companion, amalgamation property, congruence extension property, Models of other mathematical theories, Quasivarieties, axiomatizability
Properties of classes of models, polygon, quasivariety, model companion, amalgamation property, congruence extension property, Models of other mathematical theories, Quasivarieties, axiomatizability
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
