Abstract

Companions of the field of rational numbers and a real-closed algebraic expansion of the field of rational numbers are studied. The description of existentially closed companions of a real-closed algebraic expansion of a field of rational numbers refers to the field of study of classical algebraic structures. The general theory of companions and existentially closed companions, built on the basis of Fraisse's classes in the works of A.T. Nurtazin, is included in the classical field of existentially closed theories in model theory. The basic concept of a companion: two models of the same signature are called companions if for any finite submodel of one of them, there is an isomorphic finite submodel in the other. This approach, applied to specific classical structures and their theories, provides new tools for the study of these objects. The study of the companion class of rational and algebraic real number fields reveals companion fields containing transcendental and possibly algebraic elements with special properties of polynomials defining these elements.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.