Chains of existentially closed models of positive (n1, n2)-Jonsson theories
DOI:
https://doi.org/10.31489/2019m4/69-74Keywords:
( n1,n2) - Jonsson theory, positive (n1, n2)-Jonsson theory, n2-elimination of quantifier, n1-Jonsson chainAbstract
In this article are considered model - theoretical properties of chains of positive ( n1,n2) - Jonsson theories. Herewith considered theories is perfect in the sense of the existence of appropriate model companion. The main obtained results are as follows: introduced new concepts n 2 - elimination of quantifier for positive theory, ( n1,n2) - Jonsson theory, n1-Jonsson chain; indicated a feature of perfect ( n1,n2) - positive Jonsson theory