ScienceAsia 39S(2013): 19-24 |doi:
The structure of lattices of positive existential formulae of (Δ−PJ)-theories
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 Sn(T). In the case of positive Jonsson theory, we can consider the lattice En+(T) of existential formulae, which is a sublattice of the Boolean algebra Fn+(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.
0 Download 31 View
|The Institution of Applied Mathematics, Karaganda State University named after E. A. Buketov, Karaganda, Kazakhstan
* Corresponding author, E-mail: email@example.com
Received 7 Jan 2013, Accepted 5 Apr 2013