Some properties of ordered algebraic structures

Loading...
Thumbnail Image

Date

2019

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 /

Collections