A. D. Taimanov and model theory in Kazakhstan

2020

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

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

Аннотация

The article gives an overview of the development of model theory in Kazakhstan over the past 60 years from the standpoint of the tasks that stood at that time.We consider directions that naturally arose from the definition of truth in a model and under the influence of Doctor of Physical and Mathematical Sciences, Academician A. Taimanov, initiator of the growth of model theory in Kazakhstan.