[논문 리뷰] On semilattices and lattices for families of theories

S. V. Sudoplatov|arXiv (Cornell University)|2017. 01. 01.

Advanced Algebra and Logic참고 문헌 4인용 수 8

한 줄 요약

이 논문은 $E$-닫힘 성질을 가진 일阶논리 이론들의 가족에 대해 반순서집합과 격자 구조를 도입하고 연구하며, $P$-조합과 $E$-조합을 통해 형성된 구조에 초점을 맞춘다. 가장 작게 생성된 집합을 가진 이론 가족의 격자가 분배법칙을 만족함을 보이며, 고립된 유형과 $E$-닫힘 연산자를 활용한 구조적 특성화를 제공한다.

ABSTRACT

We define and study semilattices and lattices for $E$-closed families of theories. Properties of these semilattices and lattices are investigated. It is shown that lattices for families of theories with least generating sets are distributive.

연구 동기 및 목표

• 일阶논리 이론들의 $E$-닫힘 가족에 대해 반순서집합과 격자를 정의하고 분석한다.
• 특히 가장 작게 생성된 집합 조건이 있을 경우 이러한 격자의 구조적 성질을 조사한다.
• 가장 작게 생성된 집합의 존재성과 그로 인해 유도되는 격자의 분배법칙 성질 사이의 연결 고리를 확립한다.
• $E$-표현 가능성과 $E$-조합의 $e$-완비화 개념을 정의한다.
• 가장 작게 생성된 집합을 통해 $E$-닫힘 가족의 부울 대수적 구조를 특성화한다.

제안 방법

• $P$-연산자와 $E$-연산자를 도입하여 구조와 그 이론의 $P$-조합과 $E$-조합을 구성한다.
• $E$-닫힘 성질을 가진 이론 가족을 정의하고, 이러한 가족 내에서 가장 작게 생성된 집합의 개념을 도입한다.
• $E$-닫힘 연산자를 사용하여 $E$-닫힘 가족 위에서 격자 연산 $\wedge^\prime$와 $\cup$를 정의한다.
• 고립된 유형의 개념을 활용하여 가장 작게 생성된 집합를 특성화하고 격자 구성에서의 역할을 분석한다.
• 가장 작게 생성된 집합의 부분집합 부울 대수와 격자 내 정의 가능한 부분집합의 부울 대수 사이의 동형사상 수립.
• 격자 내 분배법칙 항등식을 검증하기 위해 고립된 유형의 포함관계와 $E$-동치에 대한 닫힘 성질에 기반한 증명 기법을 적용한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $E$-닫힘 이론 가족의 격자가 분배법칙을 만족하는가?
• RQ2 가장 작게 생성된 집합은 이론 가족의 격자 구조에 어떻게 영향을 미치는가?
• RQ3 $E$-표현 가능성은 이론의 $E$-조합을 특성화하는 데 어떤 역할을 하는가?
• RQ4 $e$-스펙트럼은 $E$-조합의 $e$-완비화와 어떻게 관련되어 있는가?
• RQ5 정의 가능한 부분집합의 부울 대수와 $E$-닫힘 가족의 격자 사이의 관계는 무엇인가?

주요 결과

• 가장 작게 생성된 집합을 가진 $E$-닫힘 가족의 격자 $\mathrm{LLGS}(X)$ 는 $\wedge^\prime$ 및 $\cup$ 연산에 대해 분배법칙 항등식을 검증함으로써 분배법칙을 만족함을 증명하였다.
• 모든 $E$-닫힘 가족 $\mathcal{T}$ 가 가장 작게 생성된 집합 $\mathcal{T}^\prime$ 를 가진다면, 부울 대수 $\mathcal{B}(\mathcal{T})$ 는 포함관계 하에 파wr 집합 대수 $\mathcal{B}(\mathcal{T}^\prime)$ 와 동형이다.
• 이론 가족 $\mathcal{T}$ 의 가장 작게 생성된 집합 $\mathcal{T}^\prime$ 는 정확히 $\mathcal{T}$ 내의 고립된 유형들로 이루어져 있으며, 이 집합이 전체 격자 구조를 결정한다.
• $\wedge^\prime$ 연산은 $E$-닫힘 가족의 교집합을 나타내며, $\cup$ 는 가족의 합집합을 나타내며, 둘 다 $E$-닫힘에 대해 닫혀 있다.
• $E$-조합 $\mathcal{A}_E$ 는 모든 기본적으로 동치인 구조 $\mathcal{A}^\prime \equiv \mathcal{A}_E$ 가 $E$-표현 가능할 때 $e$-완비가 된다. 이는 $e$-스펙트럼이 포화되어 있을 때 정확히 성립한다.
• $\mathcal{A}_E$ 의 $e$-스펙트럼은 $E$-클래스에 대한 제한에서 상호 기본적으로 동치가 아니며 어떤 $\mathcal{A}_i$ 와도 동치가 되지 않는 모든 이론들의 집합이며, 이 집합의 상한은 이론의 성격에 따라 유한하거나 가чёт 가능하다.