[논문 리뷰] Closures and generating sets related to combinations of structures

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

semigroups and automata theory인용 수 21

한 줄 요약

이 논문은 일阶 구조와 그 이론의 $E$-조합 및 $P$-조합의 맥락에서 폐쇄 연산자와 생성 집합을 조사한다. $E$-조합에 대해 최소 생성 집합의 존재성과 최소 생성 집합의 존재성은 동치이며, 이 성질에 대한 문맥적 및 의미적 특성화를 제공한다. 주요 기여는 선형 순서가 부여된 언어 균일 이론에 대해 이러한 최소 생성 집합이 존재하는지를 결정하는 완전한 특성화를, 기저가 되는 인덱스 집합의 순서 이론적 성질에 기반하여 제시하는 것이다.

ABSTRACT

We investigate closure operators and describe their properties for $E$-combinations and $P$-combinations of structures and their theories. We prove, for $E$-combinations, that the existence of a minimal generating set of theories is equivalent to the existence of the least generating set, and characterize syntactically and semantically the property of the existence of the least generating set. For the class of linearly ordered language uniform theories we solve the problem of the existence of least generating set with respect to $E$-combinations and characterize that existence in terms of orders.

연구 동기 및 목표

• 일阶 구조의 $E$-조합 및 $P$-조합에서 폐쇄 연산자와 생성 집합을 분석하는 것.
• $E$-조합에서 최소 생성 집합의 존재가 최소 생성 집합과 일치하는 조건을 규명하는 것.
• $E$-조합에 대해 최소 생성 집합 존재성을 문맥적 및 의미적으로 특성화하는 것.
• 선형 순서가 부여된 언어 균일 이론의 클래스에서 최소 생성 집합 존재 문제를 해결하는 것.
• 선형 순서가 부여된 언어 균일 이론의 $E$-조합에 대한 $e$-스펙트럼을 기술하는 것.

제안 방법

• 구조의 조합에 대해 위상수학을 정의하기 위해 $E$-연산자와 $P$-연산자를 도입한다.
• $E$-조합을 정의한다. 이는 등가 관계 $E$에 의한 유니버스의 분할을 통해 형성되며, 각 클래스는 주어진 구조와 원소적으로 동치이다.
• $\mathrm{Cl}_E(\mathcal{T}_0)$와 같은 폐쇄 연산자를 사용하여 $E$-클래스의 모델에서 실현 가능한 모든 이론의 집합을 생성한다.
• 특히 조밀하고 이산적인 순서 유형에 중점을 두어, 이론의 인덱스 집합의 순서 이론적 분석을 적용한다.
• 특정 축적점 구성이 실현 가능한 $e$-스펙트럼을 갖도록 하는 모델을 구성한다.
• Morleyzation과 언어 확장을 적용하여, 이론 확장 하에서 생성 집합 성질이 유지되거나 수정됨을 다룬다.

실험 결과

연구 질문

• RQ1 언제 $E$-조합의 이론 최소 생성 집합이 최소 생성 집합과 일치하는가?
• RQ2 어떤 문맥적 및 의미적 조건이 $E$-조합에서 최소 생성 집합 존재를 보장하는가?
• RQ3 어느 선형 순서가 부여된 언어 균일 이론에 대해 $E$-조합이 최소 생성 집합을 갖는가?
• RQ4 $E$-조합의 $e$-스펙트럼은 이론 인덱스 집합의 순서 유형에 따라 어떻게 달라지는가?
• RQ5 $\mathrm{IILU}$-이론의 $E$-조합에 대해 어떤 기수들이 $e$-스펙트럼이 될 수 있는가?

주요 결과

• $E$-조합에 대해 최소 생성 집합의 존재성은 최소 생성 집합의 존재성과 동치이다.
• 최소 생성 집합 존재성은 이론의 모델 이론적 구조에 기반한 문맥적 및 의미적 특성화로 기술된다.
• 선형 순서가 부여된 언어 균일 이론에 대해 최소 생성 집합 존재성은 이론의 인덱스 집합이 유한 개 또는 가чёт수의 축적점을 갖는 이산 선형 순서와 순서 동형임과 동치이다.
• 인덱스 집합에 조밀한 간격이 포함되어 있으면 폐쇄 연산자 $\mathrm{Cl}_E(\mathcal{T}_0)$는 최소 생성 집합을 갖지 않는다.
• 모든 무한 기수 $\lambda$에 대해, $e$-스펙트럼이 $\max\{2^\omega, \lambda\}$ 이상인 $\mathrm{IILU}$-이론의 $E$-조합이 존재하며, 이는 $e$-최소 모델가 존재하지 않을 경우 $e$-스펙트럼이 유계가 아님을 보여준다.
• 모든 $\mu \leq \omega$에 대해, $e$-스펙트럼이 정확히 $\mu$인 $\mathrm{IILU}$-이론의 $E$-조합이 존재하며, 기수 $\lambda$가 비가чёт수일 경우 $e$-스펙트럼이 $\lambda$인 $E$-조합이 존재한다.