The properties of amalgamation and joint embedding in the meaning of positive Jonsson theories

2025

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

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

Аннотация

In this paper, we study special subclasses of theories on the basis of the connection between the amalgamation property and the joint embedding property, as well as between the h-amalgamation property and the joint continuation property. Our results are presented in both the classical first-order logic and positive logic, which exhibit a parallel structure. We establish sufficient conditions under which the amalgamation property implies the joint embedding property, and conversely; the h-amalgamation property implies the joint continuation property, and vice versa. Additionally, we investigate the preservation of these subclass links under extensions of the given theory.