On structures in hypergraphs of models of a theory

B. Sh. Kulpeshov, Sergey Vladimirovich Sudoplatov

2018

Полный текст Открытый доступ: Gold Метаданные (CSL-JSON)

DOI 10.31489/2018m2/101-112

Достоверность данных 70 средняя

Как считается эта оценка

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

Аннотация

On structures in hypergraphs of models of a theoryHypergraphs of models of a theory are derived objects allowing toobtain an essential structural information about both giventheories and related semantic objects including graph ones.In the present paper we define and study structural properties of hypergraphs of modelsof a theory including lattice ones.Characterizations for thelattice properties of hypergraphs of models of a theory, as wellas for structures on sets of isomorphism types of models of atheory, are given.