기하 논리의 모델 클래스 특성화 정리와 무한 차수 이론에의 적용

본 논문은 “기하 이론(geometric theory)”의 모델 클래스를 Grothendieck 토포스 안에서 정확히 규정하는 기준을 제시하고, 이를 통해 무한 차수(infinitary) 1차 이론이 언제 기하 이론으로 재표현될 수 있는지를 밝힌다. 연구는 크게 네 부분으로 구성된다. 1. **배경 및 Moerdijk의 문제 제기** Ieke Moerdijk는 1989년 편지에서, 서명 Σ에 대한 유한 차수 1차 이론 T가 ‘다른 시퀀스(보존 시퀀스)’로 공리화될 수 있는 조건을 두 가지(모델이 기하 사상에 대해 보존·반보존)로 제시하였다. 그는 이 결과를 무한 차수 이론에도 동일하게 적용할 수 있는지 물었으며, 이는 기존의 ‘컴패턴스 정리(completeness theorem)’에 의존하던 증명 방식으로는 확장하기 어려운 문제였다. 2. **공동 전사 사상과 Lemma 2.1** 논문은 먼저 ‘공동 전사(jointly surjective)’인 기하 사상들의 정의를 도입한다. 이는 역함수군이 동시적으로 동형을 보존(conservative)함을 의미한다. Lemma 2.1은 다음과 같이 기술한다: 한 토포스 E가 여러 부분 토포스 E′_i의 합집합(∪_i E′_i)으로 표현될 수 있는 경우와, 해당 사상들의 역함수군이 공동 전사인 경우가 동치이다. 증명은 로컬 연산자와 동형 보존성을 이용해, 임의의 화살표가 모든 로컬 연산자에 의해 동형이면 자체가 동형임을 보이는 방식으로 진행된다. 이 결과는 Grothendieck 토포스가 부분 토포스들의 집합적 합을 항상 가짐을 활용한다. 3. **주요 정리(Theorem 3.1)와 증명 전략** Theorem 3.1은 다음과 같다. 서명 Σ와 Σ‑구조들의 집합 S(동형에 대해 닫힘)가 ‘기하 이론의 모델 클래스’가 되려면 두 조건을 만족해야 한다. (i) 모든 기하 사상 f : F→E에 대해, E에서 S에 속하는 구조 M이면 f⁎(M)도 S에 속한다. (ii) 집합 지수화된 공동 전사 사상 {f_i : E_i→E}_i에 대해, 각 f_i⁎(M)가 S에 속하면 M도 S에 속한다. ‘Only‑if’ 방향은 기존 문헌에 알려진 사실이며, ‘if’ 방향은 새로운 증명을 제공한다. 저자는 Σ‑구조 M를 각각 Set