Abstract

In this paper, new objects of research are identified, both from the standpoint of model theory and from the standpoint of universal algebra. Particularly, the Jonsson spectra of the Jonsson varieties and the Jonsson quasivarieties are considered. Basic concepts of 3 types of convexity are given: locally convex theory, ϕ(x)-convex theory, J-ϕ(x)-convex theory. Also, the inner and outer worlds of the model of the class of theories are considered. The main result is connected with the question of W. Forrest, which is related to the existential closed ness of an algebraically closed variety. This article gives a sufficient condition for a positive answer to this question.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call