Все настройки сохраняются на вашем устройстве.
2018
Складывается из проверяемых признаков самой записи: есть ли у статьи DOI, сколько независимых источников подтвердили её данные, заполнены ли обязательные поля и насколько свежо последнее подтверждение. Снижают оценку расхождения между источниками и отсутствие идентификатора. Значение от 80 означает, что запись опубликована без дополнительной проверки; от 60 до 79 — что она опубликована с пониженной достоверностью и ручная проверка желательна. Запись, выверенную редактором вручную, пересчёт не опускает ниже 90. Это оценка наших данных о статье, а не оценка самой статьи.
On generic structures preserving elementary equivalence and elementary embeddabilityWe consider criteria for elementary equivalence and elementary embeddability for generic structures.They use classical characterizations for the general case.The criterion for elementary equivalence is based on the well known Fraïssé-Taimanov-Ehrenfeucht overturning method.The criterion for elementary embeddability uses the known Tarski-Vaught test.