Some properties of ordered algebraic structures
| dc.contributor.author | Dauletiyarova A. | |
| dc.date.accessioned | 2025-06-24T09:30:01Z | |
| dc.date.available | 2025-06-24T09:30:01Z | |
| dc.date.issued | 2019 | |
| dc.description.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. | |
| dc.identifier.citation | Dauletiyarova A / Some properties of ordered algebraic structures / 6M060100-Department of Mathematics and Natural Science / | |
| dc.identifier.uri | https://repository.sdu.edu.kz/handle/123456789/1798 | |
| dc.language.iso | en | |
| dc.publisher | Faculty of engineering and natural sciences | |
| dc.subject | Model theory | |
| dc.subject | o-stable theory | |
| dc.subject | Cantor’s set | |
| dc.title | Some properties of ordered algebraic structures | |
| dc.type | Thesis |