Browsing by Author "Dauletiyarova A."
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Item Open Access Some properties of ordered algebraic structures(Faculty of engineering and natural sciences, 2019) Dauletiyarova A.Quantifier elimination is one of the most important tools in model theory. Indeed, if a theory allows quantifier elimination, then this theory is complete, and the description of all definable subsets can be reduced to describing only those subsets that are defined by a quantifier-free formula. One of the most important mathematical structures is the linearly ordered set of real numbers. On it, you can set an ordered group and field. It is known that the elementary theory of these structures admits quantifier elimination, and since these theories are computably axiomatizable, quantifier elimination implies their solvability.