The structure of lattices of positive existential formulae of (Delta - PJ)-theories

Show simple item record

dc.contributor.author Yeshkeyev, A. R.
dc.date.accessioned 2018-06-11T07:05:42Z
dc.date.available 2018-06-11T07:05:42Z
dc.date.issued 2013-07
dc.identifier.citation Yeshkeyev A. R. The structure of lattices of positive existential formulae of (Delta - PJ)-theories/ A. R. Yeshkeyev//Scienceasia.-2013.-№39.-pp.-19-24 ru_RU
dc.identifier.uri http://rep.ksu.kz/handle/data/3158
dc.description.abstract This article is related to one of the main branches of mathematical logic, model theory, and more precisely to what is called eastern model theory. This part of model theory is concerned with the study of incomplete inductive theories and more precisely Jonsson theories and some of their positive generalizations. It examines the model-theoretical properties of positive Jonsson theories. In particular, the lattice of special formulae is considered. In the study of complete theories one of the main methods is to use the properties of a topological space S-n(T). In the case of positive Jonsson theory, we can consider the lattice E-n(+)(T) of existential formulae, which is a sublattice of the Boolean algebra F-n(+)(T). The main aim of this article is to develop the basic concepts and methods of that part of model theory which will provide an opportunity for fruitful studies of Jonsson theories and some of its positive generalizations. Our technique is standard in the study of incomplete theories. The method consists of the translation of the elementary properties of the centre of a Jonsson theory into the theory itself. ru_RU
dc.language.iso en ru_RU
dc.publisher Thailands natl science & technology development agency ru_RU
dc.relation.ispartofseries Scienceasia;№39
dc.title The structure of lattices of positive existential formulae of (Delta - PJ)-theories ru_RU
dc.type Article ru_RU


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account