Companions of fields of rational and real algebraic numbers

2023

Полный текст Открытый доступ: Gold Метаданные (CSL-JSON)
DOI 10.26577/ijmph.2022.v13.i2.09
Достоверность данных 70 средняя
Как считается эта оценка

Складывается из проверяемых признаков самой записи: есть ли у статьи DOI, сколько независимых источников подтвердили её данные, заполнены ли обязательные поля и насколько свежо последнее подтверждение. Снижают оценку расхождения между источниками и отсутствие идентификатора. Значение от 80 означает, что запись опубликована без дополнительной проверки; от 60 до 79 — что она опубликована с пониженной достоверностью и ручная проверка желательна. Запись, выверенную редактором вручную, пересчёт не опускает ниже 90. Это оценка наших данных о статье, а не оценка самой статьи.

Аннотация

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.