효과적 토포스의 새로운 부분토포스와 ‘시선’ 구조

본 논문은 효과적 토포스 E𝔣 의 부분토포스를 체계적으로 탐구한다. 서론에서는 효과적 토포스가 Kleene 실현 가능성을 내재한 초등 토포스로, 논리·컴퓨터 과학 양쪽에서 중요한 연구 대상임을 강조한다. 특히, 부분토포스는 ‘클래식 수학’과 ‘효과적 수학’ 사이의 다양한 수학적 우주를 제공한다는 관점에서 연구 동기를 제시한다. 기존에 알려진 부분토포스로는 집합 토포스(¬¬‑토폴로지), 튜링 차수 토포스, Lifschitz 토포스, Pitts의 예시가 있다. 그러나 이들 외에 새로운 비자명 부분토포스는 거의 알려지지 않았다. 제1장에서는 삼중구조(tripos)와 그로부터 토포스를 구성하는 기본 이론을 정리한다. 특히, 삼중구조를 이용한 토포스 구축 과정, 내부 논리, 그리고 폐쇄 변환·로컬 연산자(local operator)의 정의를 상세히 설명한다. 효과적 토포스 E𝔣 는 자연수 객체(NNO)와 ∇ 함수(집합을 E𝔣 로 끌어올리는 전사)를 통해 구체화되며, 이때 로컬 연산자는 내부 함수 j:Ω→Ω (Ω는 진리값 객체)로 표현된다. 제2장에서는 로컬 연산자의 일반적인 구성 방법을 다룬다. 열린 토폴로지와 닫힌 토폴로지, Joyal의 구성법 등을 소개하고, 이러한 연산자가 어떻게 부분토포스를 정의하는지 설명한다. 특히, ‘기본 토폴로지(basic topology)’라는 개념을 도입한다. 기본 토폴로지는 ¬¬‑쉐이브의 부분객체에 의해 생성되며, 이는 효과적 토포스 내에서 가장 자연스러운 로컬 연산자들의 원천이 된다. 제3장은 논문의 핵심 내용이다. 3.1절에서는 로컬 연산자를 ‘수열 N→𝒫𝒫ℕ’ 형태로 나타내는 방법을 제시한다. 이는 NNO‑인덱스 조인(NNO‑indexed join)이라는 Van Oosten의 결과를 내부적으로 재구성한 것으로, 모든 로컬 연산자가 기본 로컬 연산자의 NNO‑인덱스 합임을 보인다. 이를 통해 로컬 연산자를 구체적인 데이터(함수 N→𝒫𝒫ℕ)로 변환한다. 3.2절에서 새롭게 도입된 ‘시선(sight)’ 개념을 상세히 설명한다. 시선은 잘‑정의된 유한 트리 구조이며, 각 노드는 ‘코드’(자연수)와 ‘분기(조건)’를 포함한다. 함수 j와 집합 p에 대해, 자연수 z가 j(p)에 속한다는 것은 ‘z가 p에 대한 시선을 따라 내려가며 모든 요구조건을 만족하는 코드’임을 의미한다. 이 해석은 θ‑실현가능성이라는 새로운 실현 가능성 체계와 연결되어, 로컬 연산자의 작용을 계산적으로 검증할 수 있게 한다. 또한, 시선을 이용해 로컬 연산자들의 합·교·보완 연산을 트리 수준에서 정의한다. 3.3절에서는 구체적인 기본 토폴로지들의 예시를 제시한다. 극단적인 예로 id, ⊤, ¬¬, 그리고 Pitts의 토폴로지가 있다. 이어서 ‘O_{α,m}’와 ‘O_{ω}’라는 새로운 무한 계열을 정의한다. O_{α,m}은 유한 순서수 α와 정수 m(2m<α) 에 대해, α 내의 ‘co‑m‑톤’(즉, 보완이 m‑크기의 집합)들의 집합이다. O_{ω}는 ℕ 내의 모든 코시링글톤(하나의 원소만 제외된 집합)들의 모임이다. 이들 각각은 기본 토폴로지이며, 서로 다른 (α,m)쌍에 대해 포함 관계가 없으므로 무한히 많은 서로 다른 부분토포스를 만든다. 특히 O_{ω}는 가장 큰 비자명 기본 토폴로지이며, O_{α,m}은 원자적 성질을 가진다(어떠한 더 작은 기본 토폴로지에도 포함되지 않는다). 3.4절에서는 기존에 알려진 튜링 차수 토폴로지와 새로운 기본 토폴로지 사이의 관계를 조사한다. 튜링 차수는 부분토포스의 순서에 역순으로 삽입되며, 최소 차수(계산 가능한 집합)는 E𝔣 그 자체에 대응한다. 논문은 다음과 같은 비포함 결과를 증명한다: (1) 어떤 O_{α,m}도 비재귀적 튜링 차수 토폴로지에 포함되지 않는다. (2) 반대로 비재귀적 튜링 차수 토폴로지는 어떠한 기본 토폴로지에도 포함되지 않는다. 이는 두 계열이 서로 독립적인 구조임을 보여준다. 3.5절에서는 O_{α,m}과 O_{ω}의 추가적인 성질을 탐구한다. 교집합, 합집합, 그리고 ‘섹터(sector)’라는 트리 기반 연산을 정의해, 이들 토폴로지 사이의 비교를 정량화한다. 특히 O_{ω}가 모든 기본 토폴로지 중에서 최대임을 보이며, O_{α,m}이 원자적이므로 다른 기본 토폴로지와 교차하지 않음을 확인한다. 3.6절에서는 Pitts의 예시 F* 를 다룬다. 여기서는 ‘섹터’를 이용해 F*가 모든 산술적 튜링 차수 토폴로지에 포함된다는 사실을 증명한다. 또한, F*는 arithmetical set들을 효과적으로 포함하므로, 부분토포스 내에서 1차 산술이 완전하게 실현될 수 있음을 보여준다. 이는 시선과 θ‑실현가능성이 제공하는 의미론적 프레임워크가 실제 논리적 강도 판단에 유용함을 입증한다. 결론에서는 연구의 의의를 정리하고, 앞으로의 연구 방향으로 (1) 시선 구조를 이용한 고차 논리의 실현 가능성 탐구, (2) 다른 기본 토폴로지와의 상호 작용 분석, (3) 효과적 토포스 외의 다른 실현 가능 토포스에 대한 일반화 가능성을 제시한다.