[논문 리뷰] Stack semantics and the comparison of material and structural set theories

Michael Shulman|arXiv (Cornell University)|2010. 04. 21.

Logic, Reasoning, and Knowledge참고 문헌 31인용 수 16

한 줄 요약

이 논문은 집합 구조 𝒮에서 유도된 집합의 구성 V(𝒮)가 분리, 고전적 논리, 집합의 선택과 같은 핵심 기초 원리를 유지함을 증명한다. 스택 문맥과 정렬된 확장 가능한 점지 그래프(가능한 점지 그래프, apg)를 사용하여, 𝒮가 이러한 공리를 만족하면 V(𝒮) 역시 마찬가지로 만족함을 증명함으로써, 구조적 집합론이 물질적 집합론의 성질을 이어받을 수 있음을 보여준다.

ABSTRACT

We extend the usual internal logic of a (pre)topos to a more general interpretation, called the stack semantics, which allows for "unbounded" quantifiers ranging over the class of objects of the topos. Using well-founded relations inside the stack semantics, we can then recover a membership-based (or "material") set theory from an arbitrary topos, including even set-theoretic axiom schemas such as collection and separation which involve unbounded quantifiers. This construction reproduces the models of Fourman-Hayashi and of algebraic set theory, when the latter apply. It turns out that the axioms of collection and replacement are always valid in the stack semantics of any topos, while the axiom of separation expressed in the stack semantics gives a new topos-theoretic axiom schema with the full strength of ZF. We call a topos satisfying this schema "autological."

연구 동기 및 목표

• 물질적 집합론의 기초 원리가 V(𝒮)를 통한 구조적 집합론으로 어떻게 전이되는지 조사하기 위해.
• 스택 문맥과 접근 가능한 점지 그래프(apg)를 사용하여 물질적 집합론과 구조적 집합론 간의 관계를 형식화하기 위해.
• 핵심 공리인 분리, 고전적 논리, 집합의 선택이 V(𝒮) 구성에서 유지되는지 보여주기 위해.
• 물질적 집합론의 核심 성질을 상속할 수 있음을 보여줌으로써, 구조적 집합론에 대한 범주론적 기초를 제공하기 위해.
• intuitionistic 및 고전적 논리의 맥락에서 V(𝒮)의 논리적 및 집합론적 행동을 명확히 하기 위해.

제안 방법

• V(𝒮)의 맥락에서 공식과 기댓값을 해석하기 위해 스택 문맥을 사용하여 집합론적 공리의 범주론적 다루기를 가능하게 한다.
• V(𝒮) 내에서 집합을 나타내는 기초 대상으로서 정렬된 확장 가능한 apg(접근 가능한 점지 그래프)를 사용한다.
• 𝒮 내의 분리를 적용하여 노드에 대한 조건을 통해 apg의 부분집합을 정의하고, 공식 φ를 만족하는 원소를 포괄하는 새로운 apg B를 구성한다.
• 𝒮 내의 집합의 선택을 적용하여 집합 V에서 |A|로의 전성사상과 V 위에 정의된 점지 그래프 B를 함께 구성함으로써, φ(X,Y)에 대한 증거 존재성을 보장한다.
• 전성사상과 점지 그래프의 구조를 사용하여, 임의의 X ∈ A에 대해 Y ∈ V(𝒮)가 존재하여 φ(X,Y)를 만족함을 증명한다.
• 𝒮 내에서 고전적 논리를 적용하여 V(𝒮)에서 φ ∨ ¬φ를 도출함으로써, 고전적 추론이 V(𝒮) 구성에서 유지됨을 보여준다.

실험 결과

연구 질문

• RQ1 𝒮가 분리를 만족할 경우, 구성 V(𝒮)는 분리 공리를 유지하는가?
• RQ2 𝒮가 모든 공식 φ에 대해 φ ∨ ¬φ를 만족한다면, V(𝒮)는 고전적 논리를 상속할 수 있는가?
• RQ3 𝒮가 집합의 선택을 만족할 경우, V(𝒮) 구성에서 집합의 선택 공리는 유지되는가?
• RQ4 스택 문맥과 apg 구조는 어떻게 물질적 집합론에서 구조적 집합론으로의 집합론적 공리 전이를 촉진하는가?
• RQ5 V(𝒮)가 𝒮로부터 핵심 성질을 상속하는 잘 정의된 구조적 집합론이 되기 위한 조건은 무엇인가?

주요 결과

• 𝒮가 분리를 만족하면, V(𝒮) 역시 분리를 만족한다. 이는 공식 φ를 만족하는 노드의 부분집합에서 유도된 부분-apg B를 구성함으로써 증명된다.
• 𝒮가 전체 고전적 논리를 만족하면, V(𝒮)는 고전적 논리를 상속한다. 이는 임의의 공식 φ에 대해 V(𝒮)에서 φ ∨ ¬φ가 성립하기 때문이다.
• 𝒮가 집합의 선택을 만족하면, V(𝒮) 역시 집합의 선택을 만족한다. 이는 인덱스 집합 위의 전성사상과 점지 그래프를 사용하여 증거 존재성을 올리는 방식으로 증명된다.
• 정렬된 확장 가능한 apg를 통한 구성은 집합의 구조적 정합성을 유지하여, 소속관계와 진리 조건이 정확히 반영됨을 보장한다.
• 스택 문맥 프레임워크는 V(𝒮) 내에서 논리적 및 집합론적 원리의 일관된 해석을 가능하게 하여, V(𝒮)가 구조적 집합론으로서의 유효성을 입증한다.
• 증명들은 주로 집합 |A| 위에서의 전성사상과 점지 그래프를 포함한 범주론적 구성에 의존하며, 이는 V(𝒮) 내에서 공리의 닫힘을 보장한다.