양의 폐쇄와 강양의 폐쇄의 차이: 완전 불 대수 위의 Sh(B) 모델 새로운 탐구

초록

본 논문은 완전 불 대수 B와 그 위에 정의된 코히어런트 토포시 Sh(B, τ_coh)에서 코히어런트 이론의 모델을 연구한다. 전역적 개념인 ‘양의 폐쇄(positively closed)’와 내부 구조만을 보는 ‘강양의 폐쇄(strongly positively closed)’가 Set‑값 모델에서는 일치하지만, Sh(B)‑값 모델에서는 일치하지 않음을 보인다. 대신 양의 폐쇄를 특징짓는 새로운 지역적 조건을 제시하고, 이를 L_{κκ} (κ는 약하게 콤팩트) 논리 체계와 연결한다. 구체적인 예시와 격자 이론을 이용한 정량적 설명도 포함한다.

상세 분석

논문은 먼저 기존의 ‘양의 폐쇄(positively closed)’와 ‘강양의 폐쇄(strongly positively closed)’ 개념을 정리한다. 양의 폐쇄는 모든 외부 동형사상(homomorphism)이 양의 존재적 공식의 진리값을 보존할 뿐 아니라 반영한다는 전역적 조건이며, 이는 모델이 가능한 모든 확장에 대해 검증된다. 반면 강양의 폐쇄는 모델 내부에서 정의 가능한 집합, 즉 타입 공간(type space) 위의 원소들에 대해서만 같은 반영성을 요구한다. Set‑값 모델에서는 두 개념이 동치임이 알려져 있었지만, 저자는 Sh(B, τ_coh)‑값 모델에서는 이 동치가 깨진다는 사실을 최초로 입증한다.

핵심 기술은 κ‑코히어런트 범주 C와 κ‑토포시 Sh(B, τ_coh) 사이의 κ‑레시(lex) 함자를 이용해 ‘Lindenbaum‑Tarski 격자 L₁(ΓM)’을 구성하는 것이다. 여기서 ΓM은 모델 M이 정의하는 전역 섹션들의 집합이며, L₁(ΓM)은 이 섹션들로부터 생성되는 폐쇄 공식들의 격자이다. 저자는 이 격자를 통해 강양의 폐쇄와 양의 폐쇄를 각각 ‘모든 원소가 격자 내에서 완전히 분리될 수 있다’와 ‘모든 원소가 격자 내에서 특정한 필터에 포함된다’는 조건으로 변환한다. 특히 κ=ω이고 B가 완전 불 대수일 때, L₁(ΓM)의 구조가 매우 구체적으로 기술될 수 있어 양의 폐쇄를 판정하는 새로운 지역적 기준을 제시한다.

또한, 약하게 콤팩트한 기수 κ를 가정함으로써 L_{κκ} (무한 양화자 기하학 논리) 체계와의 연계성을 확보한다. 이는 기존의 유한 양화자 논리(ω, ω)에서 다루기 어려운 무한 양화자 공식들을 포함하면서도, κ‑코히어런트 범주의 합성 가능성을 보장한다. 저자는 이러한 설정 하에 ‘강양의 폐쇄이면서 양의 폐쇄가 아닌’ 모델을 구체적인 예시(예: 5.18, 5.25)로 구축한다. 이 예시들은 특히 B‑값 모델이 갖는 ‘부분적 진리값’ 구조가 전역적인 반영성을 방해함을 보여준다.

마지막으로, 저자는 기존 문헌