[논문 리뷰] Relative e-spectra and relative closures for families of theories

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

Rings, Modules, and Algebras참고 문헌 2인용 수 6

한 줄 요약

이 논문은 E-연산자에 대한 일阶 이론의 가족에 대해 상대적 e-스펙트럼, 상대적 폐쇄, 상대적 생성 집합을 도입하며, 이전의 e-스펙트럼과 폐쇄에 대한 연구를 일반화한다. 만약 이론 T의 상대적 e-스펙트럼이 2^ω 미만이라면, 주어진 E-폐쇄된 집합에 대해 T의 E-폐쇄가 최소 생성 집합을 갖는다. 이는 동치 관계 하에서 모형 이론적 조합의 구조적 특성화를 제공한다.

ABSTRACT

We define the notions of relative $e$-spectra, with respect to $E$-operators, relative closures, and relative generating sets. We study properties connected with relative $e$-spectra and relative generating sets.

연구 동기 및 목표

• E-연산자에 대해 절대적 설정에서 상대적 설정으로 e-스펙트럼, 폐쇄, 생성 집합의 개념을 일반화하기.
• 특히 원소 동치성과 표현 가능성에 중점을 두고, 동치 관계 하에서 이론의 조합의 구조적 성질을 조사하기.
• 주어진 E-폐쇄된 이론의 가족에 대해 이론의 E-폐쇄가 상대적으로 최소 생성 집합을 갖는 조건을 특성화하기.
• 상대적 e-스펙트럼의 크기와 E-폐쇄된 가족 내 최소 생성 집합 존재성 간의 관계를 명확히 하기.

제안 방법

• E-클래스 중 원래 이론 가족의 어떤 이론과도 원소적으로 동치가 아닌 제한에 대해, 원소적으로 동치가 아닌 모형의 수로 상대적 e-스펙트럼을 정의한다.
• 가족의 구조들을 E-조합으로 매핑하는 E-연산자를 도입하며, 여기서 E-클래스는 개별적인 구조에 대응한다.
• 주어진 이론 가족을 포함하고, 원소 동치성과 E-조합에 대해 닫혀 있는 최소의 E-폐쇄된 집합으로서 상대적 폐쇄를 정의한다.
• E-표현 가능성의 개념을 사용하여, E-조합과 원소적으로 동치인 모형이 원래 이론들과 원소적으로 동치인 E-클래스들로 분해될 수 있는지 판단한다.
• e-스펙트럼의 기수를 분석하고, 유계된 생성 집합 하에서 불가측한 e-스펙트럼을 가정할 경우 모순을 이끌어내기 위해 공식의 2-트리 구조를 구성한다.
• 이론 공간의 고립점과 Theorem 4.2를 활용하여 E-폐쇄의 최소 생성 집합을 식별한다.

실험 결과

연구 질문

• RQ1 주어진 E-폐쇄된 가족에 대해 이론 가족의 E-폐쇄가 상대적으로 최소 생성 집합을 갖는 조건은 무엇인가?
• RQ2 이론 T의 상대적 e-스펙트럼이 2^ω 미만이 되는 조건은 무엇이며, 이는 최소 생성 집합 존재성과 어떻게 관련되는가?
• RQ3 원소적으로 E-조합과 동치인 모형이 E-표현 가능하다는 것은, 즉 각 E-클래스가 원래 이론들 중 하나와 원소적으로 동치인 방식으로 분해될 수 있다는 조건은 무엇인가?
• RQ4 이론 공간의 고립점 성질이 E-폐쇄된 가족 내 상대적 생성 집합의 구조와 어떻게 관련되는가?
• RQ5 e-스펙트럼이 유계되지만 여전히 최소 생성 집합을 갖는 E-폐쇄를 가질 수 있는가? 이는 모형 이론적 분류에 어떤 함의를 갖는가?

주요 결과

• 이론 T의 상대적 e-스펙트럼이 2^ω 미만이라면, 주어진 E-폐쇄된 가정에 대해 T의 E-폐쇄는 그 가정에 대해 최소 생성 집합을 갖는다.
• 분해 정리(정리 4.5)는 임의의 E-폐쇄된 가정에 대해 서로소이고 유계된 크기의 생성 집합을 보장하며, 그 중 일부는 최소이고 다른 일부는 고립점이 없다.
• 무한 분기성을 가진 공식의 2-트리가 존재하면 불가측한 e-스펙트럼이 유도되며, 이는 작은 상대적 e-스펙트럼을 가정하는 것과 모순된다.
• 모든 원래 이론이 고립점임에도 불구하고 e-스펙트럼이 정확히 2^ω인 예가 구성되며, 이는 최소 생성 집합이 존재하기 위해 작은 e-스펙트럼이 필수적인 것은 아님을 보여준다.
• 가족의 E-폐쇄 내 고립 이론의 집합은 항상 생성 집합이며, 이것이 최소일 경우 최소 생성 집합이 된다.
• 상대적 e-스펙트럼은 기본 이론의 원소 동치성에 대해 불변이며, 그 크기는 E-폐쇄의 생성 구조의 복잡도를 결정한다.