[논문 리뷰] A Cook's Tour of the Finitary Non-Well-Founded Sets

Samson Abramsky|arXiv (Cornell University)|2011. 11. 30.

Advanced Topology and Set Theory참고 문헌 12인용 수 10

한 줄 요약

이 논문은 유한성과 비-정렬성을 가진 집합의 위상적 유니버스를 기하학적 및 스톤 공간 완비화로서의 유한히 유한한 집합의 완비화로 제시한다. 이는 다섯 가지 상호 연관된 프레임워크를 통해 특징지어지며, 각각 기하학적 완비화, 비에트로비스 구성, 자유 모달 대수의 스톤 dual, 플롯킨의 전력도메인을 포함한 도메인 방정식이다. 주요 기여는 비-정렬성과 보편 집합을 지원하는 통합적이고 계산적으로 의미 있는 집합론 모델을 제공하며, 위상적 및 논리적 제약 조건을 통해 ZFC 공리의 연속적 형태를 제공한다.

ABSTRACT

We give multiple descriptions of a topological universe of finitary sets, which can be seen as a natural limit completion of the hereditarily finite sets. This universe is characterized as a metric completion of the hereditarily finite sets; as a Stone space arising as the solution of a functorial fixed-point equation involving the Vietoris construction; as the Stone dual of the free modal algebra; and as the subspace of maximal elements of a domain equation involving the Plotkin (or convex) powerdomain. These results illustrate the methods developed in the author's 'Domain theory in logical form', and related literature, and have been taken up in recent work on topological coalgebras. The set-theoretic universe of finitary sets also supports an interesting form of set theory. It contains non-well founded sets and a universal set; and is closed under positive versions of the usual axioms of set theory.

연구 동기 및 목표

• 유한히 유한한 집합의 범주를 초월하는 정렬성의 프레임워크를 넘어서, 비-정렬성과 계산적으로 의미 있는 집합론 이론의 일관된 모델을 개발한다.
• 기하학적, 위상적, 논리적, 도메인 이론적 다양한 수학적 묘사 방식을 통합하여, 하나의 수학적 대상인 유한성과 비-정렬성을 가진 집합의 공간을 설명한다.
• 이 유니버스가 연속적 형태의 공리, 예를 들어 분할, 대체, 선택 공리 등을 포함하는 일관된 비-클래식 집합론을 지원할 수 있음을 보여준다.
• 특히 모달 논리와 코알제브라의 맥락에서, 도메인 이론과 스톤 이중성의 유용성을 설명한다.
• 컴퓨터 과학과 논리학 분야에서 실용적인 관련성을 지닌, 위상적 코알제브라와 비-정렬성 집합론에 대한 기초 프레임워크를 제공한다.

제안 방법

• 기하학적 완비화를 통해 유한한 근사치의 구조에서 유도된 자연스러운 거리함수에 기반해, 유한히 유한한 집합의 거리공간 완비화로서 이 유니버스를 구성한다.
• 멱집합 함자 위에서 비에트로비스 구성에 기반한 함자적 고정점 방정식의 해로서 이 공간을 특징지운다.
• 이 공간과 자유 모달 대수 사이의 스톤 이중성을 확립하여, 자유 모달 대수의 스톤 공간이 정확히 이 유니버스임을 보여준다.
• 플롯킨(볼록) 전력도메인 구성이 포함된 도메인 방정식의 최대 원소 부분공간으로서 이 공간을 모델링한다.
• 이 공간과 그 전개(언폴딩) 사이의 동형사상으로 인해, 위상적으로 일관된 방식으로 소속관계와 집합론적 연산을 정의한다.
• 연속성을 보장하기 위해 공식에 문법적 제약 조건을 도입하여, 표준 집합론 공리의 연속적 형태를 가능하게 한다.

실험 결과

연구 질문

• RQ1 유한히 유한한 집합의 극한 완비화의 위상적 및 기하학적 구조는 무엇이며, 비-정렬 집합을 어떻게 지원하는가?
• RQ2 자유 모달 대수의 스톤 공간은 어떻게 특징지어지며, 이는 비-정렬 집합의 논리적 구조에 대해 무엇을 드러내는가?
• RQ3 유한성과 비-정렬성을 가진 집합론적 유니버스가 분할, 대체, 선택 공리와 같은 ZFC 공리의 연속적 형태를 어떤 식으로 지원할 수 있는가?
• RQ4 플롯킨 전력도메인과 비에트로비스 구성과 같은 도메인 이론적 구성이 어떻게 동일한 수학적 대상을 공동으로 특징짓는가?
• RQ5 이 위상적 유니버스에서 집합론적 연산이 연속적이고 잘 정의되기 위해 공식에 요구되는 문법적 조건은 무엇인가?

주요 결과

• 유한성과 비-정렬성을 가진 집합의 유니버스는 유한히 유한한 집합의 기하학적 완비화와 동형이며, 자연스러운 극한 구성 방식을 제공한다.
• 멱집합 함자 위에서 비에트로비스 구성에 기반한 고정점 방정식의 해로서 이 공간이 유도되며, 위상수학과 집합론 간의 연결 고리를 형성한다.
• 자유 모달 대수의 스톤 이중성이며, 모달 논리와 비-정렬 집합론 간의 깊은 연결 고리를 확립한다.
• 플롯킨 전력도메인을 포함한 도메인 방정식의 최대 원소 부분공간과 동형이며, 도메인 이론과 코알제브라 의미론 간의 연결 고리를 형성한다.
• 유니버스는 외연성과 양성 집합론적 연산(합집합, 싱글턴, 이중합집합)에 대한 닫힘성을 만족하며, 멱집합 공리의 연속적 형태를 지원한다.
• 특성 함수와 선택 사상의 연속성에 기반해 분할, 대체, 선택 공리의 연속적 형태가 검증되며, 연속 함수를 유도하는 공식으로 제약된 공리가 적용된다.