Some properties of ordered algebraic structures
Loading...
Date
2019
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Faculty of engineering and natural sciences
Abstract
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.
Description
Keywords
Model theory, o-stable theory, Cantor’s set
Citation
Dauletiyarova A / Some properties of ordered algebraic structures / 6M060100-Department of Mathematics and Natural Science /