Dauletiyarova A.2025-06-242025-06-242019Dauletiyarova A / Some properties of ordered algebraic structures / 6M060100-Department of Mathematics and Natural Science /https://repository.sdu.edu.kz/handle/123456789/1798Quantifier 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.enModel theoryo-stable theoryCantor’s setThesis