Corrigendum & Addendum to "Categoricity-like Properties in the First Order Realm"

이 논문은 2024 년에 발표된 '1 차 논리 영역에서의 범주성 유사 성질'이라는 제목의 원저를 보완하는 정정 및 추가 사항에 관한 것입니다.

핵심

1. 수정 (Corrigendum): "지도의 오류를 바로잡다"

이 논문은 이전 연구에서 발견된 두 가지 주요 실수를 고칩니다.

① 첫 번째 실수: "약한 나침반으로 길을 찾지 말라"

• 상황: 이전 논문에서는 어떤 수학 이론 (ZFΠn) 이 '단단한 (Solid)'지, '오밀조밀한 (Tight)'지 증명하려 했습니다. 하지만 증명 과정에서 사용된 나침반 (보조 정리) 이 너무 약해서 정확한 방향을 가리키지 못했습니다.
• 해결: 저자들은 더 강력하고 정확한 나침반 (새로운 정리 3) 을 만들어 증명 과정을 처음부터 다시 썼습니다.
• 비유: 마치 등산할 때 안개가 낀 날에 나침반이 고장 나서 길을 잃을 뻔했는데, 더 정밀한 GPS 를 구해서 "아, 우리가 오름길에 있었구나"라고 다시 확인한 것과 같습니다. 또한, 등산 장비 (공리) 의 등급을 잘못 매겼던 부분도 바로잡았습니다.

② 두 번째 실수: "거울 속의 환영을 진짜로 착각하다"

• 상황: 이전 논문에서는 "두 개의 수학 세계 (모델) 가 서로 완전히 같거나, 하나가 다른 하나에 포함된다"는 명제 (정리 77) 를 증명하려 했습니다. 이를 위해 사용된 '거울' (보조 정리) 이 실제로는 깨진 거울이어서, 비친 모습이 왜곡되어 있었습니다.
• 해결: 저자들은 이 '거울'이 실제로는 깨져 있음을 증명하는 반례 (Counterexample) 를 제시했습니다. 즉, "우리가 생각했던 두 세계가 항상 저렇게 연결되는 것은 아니다"라고 인정합니다.
• 비유: 거울을 통해 두 개의 도시를 비교했는데, 한쪽 도시가 '시간이 느리게 가는' 특수한 상태 (초한 시간) 였기 때문에, 거울 속의 모습과 실제 모습이 전혀 달랐던 것입니다. 그래서 "두 도시가 완전히 같다"거나 "하나는 다른 하나의 일부다"라는 결론은 틀렸습니다.

---

2. 추가 (Addendum): "새로운 등대 불빛들"

수정 작업을 마친 후, 저자들은 이 분야에서 최근에 일어난 흥미로운 일들을 소개합니다. 마치 등산객이 정상에 도달한 후 주변에 새로 생긴 등대들을 소개하는 것과 같습니다.

1. 더 쉬운 증명: 두 가지 수학 이론이 서로 다르다는 것을 증명할 때, 이전에는 '거대한 산 (불가침한 수)'이라는 가정이 필요했는데, 새로운 연구자들은 더 간단하고 직관적인 방법 (선형 순서) 으로 증명했습니다.
2. 작은 조각들의 분리: '산 (PA, 피아노 산술)'이라는 거대한 구조물에서, 작은 조각들 (부분 이론) 이 서로 어떻게 다른지, 어떤 것은 다른 것을 포함하지 않는지 연구한 새로운 논문이 나왔습니다.
3. 내부 categoricity (범주성) 의 새로운 맛: "수학 이론이 얼마나 단단하게 정의되어 있는가"를 연구하는 새로운 방법들이 등장했습니다. 특히, '차수 (2 차, 3 차...)'에 따라 범주성을 증명하는 능력이 달라진다는 사실을 발견했습니다.
4. 우주론적 접근: '멀티버스 (다중 우주)' 이론이 수학적으로 어떻게 범주성을 가질 수 있는지 연구가 진행 중입니다.
5. 단단함 (Tightness) 의 중요성: 수학의 기초를 다질 때, 이론이 얼마나 '단단하게' 짜여 있는지 (Tightness) 가 매우 중요한 기준이 되고 있습니다.
6. 새로운 질문: '계급 (Classes)'이라는 개념을 포함한 새로운 수학 이론이 '단단한가?'에 대한 질문이 아직 해결되지 않았습니다.

---

요약: 이 논문이 우리에게 주는 메시지

이 논문은 **"수학은 완벽해 보이지만, 실제로는 끊임없이 수정되고 발전하는 살아있는 탐험"**임을 보여줍니다.

• 실수를 인정하는 용기: 저자들은 자신의 이전 연구에 오류가 있음을 솔직하게 인정하고, 더 나은 증명과 반례로 이를 바로잡았습니다.
• 지식의 확장: 단순히 오류를 고치는 것을 넘어, 수학의 기초가 얼마나 복잡하고 흥미로운지, 그리고 새로운 연구자들이 어떤 새로운 길을 열고 있는지 보여줍니다.

마치 건축가가 건물의 기초에 금이 간 것을 발견하고, 이를 더 튼튼하게 고치면서 동시에 건물의 주변에 새로운 공원들과 도로들이 생기고 있다는 소식까지 전해주는 것과 같습니다. 이는 수학이라는 거대한 건물이 더욱 견고하고 아름답게 완성되어 가는 과정입니다.

기술 요약

이 문서는 Ali Enayat 와 Mateusz Łełyk 가 작성한 **"Categoricity-like Properties in the First Order Realm"**이라는 이전 논문 [6] 에 대한 정정 (Corrigendum) 및 추가 (Addendum) 논문입니다. 이 논문은 2026 년 3 월 10 일자로 발표되었으며, 이전 논문의 증명의 결함을 수정하고, 반례를 제시하며, 해당 분야의 최근 진전을 소개하고 있습니다.

아래는 이 논문의 문제 제기, 방법론, 주요 기여, 결과 및 의의에 대한 상세한 기술적 요약입니다.

---

1. 문제 제기 (Problem)

저자들은 이전 논문 [6] 에서 주장했던 두 가지 주요 결과에 대해 다음과 같은 문제점을 발견했습니다.

• Theorem 39 의 증명 결함: Theorem 39 의 진술 자체는 정확하지만, 이를 증명하는 과정에서 사용된 보조정리 (Lemma 40) 의 강한 형태가 필요했으나 이를 충분히 증명하지 못했습니다. 또한, 증명에 사용된 Kripke-Platek 집합론 (KP) 의 공리 복잡도가 $\Pi_2$가 아니라 $\Pi_3$임을 지적받았습니다.
• Theorem 77 의 증명 오류: Theorem 77 은 특정 스키마 템플릿 ($\tau_{Repl+Tarski}$) 이 'g-solid'하고 '강하게 내부 범주적 (strongly internally categorical)'임을 주장했습니다. 그러나 이 증명의 핵심인 Lemma 79 가 거짓임이 밝혀졌습니다. 저자들은 현재 이 정리의 대체 증명이나 반례를 찾지 못해 Theorem 77 의 진위를 확정하지 못했습니다.

2. 방법론 (Methodology)

이 논문은 다음과 같은 수학적 기법들을 사용하여 문제를 해결하거나 새로운 결과를 도출했습니다.

• 모델 이론적 구성 (Model Theoretic Construction):
  • 내부 초곱 (Internal Ultrapower): Theorem 77 의 반례를 구성하기 위해, $\omega$-표준 모델 $K$와 그 내부의 비주 초필터 (nonprincipal ultrafilter) $U$를 사용하여 내부 초곱 모델 $M$을 구성했습니다.
  • 구축 가능 우주 (Constructible Universe, $L$): Theorem 39 의 수정된 증명에서는 $V=L$을 만족하는 모델 $M_0$과 그 하위 모델 $K_n(M_0)$ (유한 $\Sigma_n$-정의 가능 원소들로 구성된 모델) 을 분석했습니다.
• 정의 가능성과 해석 (Definability and Interpretability):
  • 이해 가능성 (Bi-interpretability): 산술 모델 $N$과 집합론 모델 $K_n(M_0)$ 사이의 이해 가능성 관계를 분석하여 범주성 관련 성질을 규명했습니다.
  • 만족도 술어 (Satisfaction Predicate): KP 이론 내에서 $\Sigma_k$-만족도 클래스의 정의 가능성과 그 복잡도를 분석하여 집합론의 수집 공리 (Collection Scheme) 실패를 증명했습니다.
• 공리 복잡도 분석: KP 이론의 공리들이 실제로 $\Pi_3$-문장 집합으로 표현됨을 확인하고, 이를 바탕으로 증명 과정을 재구성했습니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

A. Theorem 39 의 수정 및 확장 (Section 2)

• Theorem 3 의 증명: $ZF^- + V=L$ 모델 $M$에 대해 $K_n(M)$ (유한 $\Sigma_n$-정의 가능 원소들의 부분 모델) 이 다음과 같은 성질을 가진다는 새로운 정리를 증명했습니다.
  • (a) $K_n(M)$은 $M$의 $\Pi_n$-부분 모델입니다 ($K_n(M) \prec_{\Pi_n} M$).
  • (b) $K_n(M)$의 모든 원소는 $K_n(M)$ 내에서 $\Sigma_n$-식으로 정의 가능합니다.
  • (c) $K_n(M)$은 $ZF_{\Pi_{n+1}}$을 만족하지만, $\Sigma_{n+1}$-수집 공리 (Collection Scheme) 를 만족하지 않습니다.
• Theorem 1 의 재증명: 위 Theorem 3 을 바탕으로, $ZF$가 일관적이라면 $ZF_{\Pi_n}$은 단단하지 (not solid) 않으며 tight 하지 않다는 Theorem 1 을 완전히 수정된 증명으로 재확립했습니다. 이는 $ZF_{\Pi_n}$이 특정 모델 이론적 성질을 만족하지 않음을 보여줍니다.

B. Theorem 77 의 반례 제시 (Section 3)

• Claim 6 의 부인: Theorem 77 의 증명에 사용되었던 Claim 6 은 "두 모델 $M, K$가 특정 조건을 만족할 때, $K$와 $M$ 사이의 관계가 세 가지 경우 중 하나 (동형, 포함, 초기 구간) 로 결정된다"는 것이었습니다.
• 반례 구성:
  • $K$를 $\omega$-표준 $ZFC$ 모델로, $U$를 $K$ 내의 비주 초필터로 잡습니다.
  • $M$을 $K$의 $U$에 대한 내부 초곱으로 구성합니다.
  • 이 경우 $K$는 $M$의 보존적 확장 (conservative extension) 이지만, $K$는 $\omega$-표준이고 $M$은 $\omega$-비표준이므로, Claim 6 의 세 가지 조건 중 어느 것도 성립하지 않습니다.
• 결론: Theorem 77 의 증명은 무효화되었으며, 해당 정리의 진위는 현재 미해결 상태입니다. 다만, 메타이론으로 GB (Gödel-Bernays) 집합론을 가정하면 범주성이 성립한다는 점은 확인되었습니다.

C. 최근 진전 소개 (Section 4)

이 논문은 [6] 이후의 관련 연구들을 소개하며 해당 분야의 지평을 넓혔습니다.

1. 정의적 비등가성: Meadows 와 Chen 은 $Z_2 + \Pi^1_\infty$-AC 와 $ZF^- + \forall x |x| \le \aleph_0$가 정의적으로 비등가임을 더 간단한 방법으로 증명했습니다.
2. PA 의 부분 이론: Gruza, Kołodziejczyk, Łełyk 은 $PA$의 단단한 (solid) 부분 이론을 구성하여 $PA$가 해석 불가능함을 보였습니다.
3. 내부 범주성의 심화: Gruza 와 Łełyk 은 메타이론 의존성, 순서수 높이에 따른 범주성, 그리고 강한 내부 범주성 스키마와 'solid'함의 관계를 연구했습니다.
4. 기타 연구: Steel 의 다중우주 이론의 내부 범주성, 집합론의 기초 문제에서의 'tightness'의 역할, $ZR$ (Zermelo + Ranks) 의 단단성 문제, Kelley-Morse 이론의 단단성 연구 등이 언급되었습니다.

4. 의의 (Significance)

• 논문의 엄밀성 확보: 이전 논문의 증명 오류를 정직하게 지적하고 수정함으로써, 1 차 논리 영역에서의 범주성 유사 성질 (categoricity-like properties) 에 대한 연구의 신뢰성을 높였습니다.
• 모델 이론적 통찰: $ZF$와 $KP$ 이론 내에서 정의 가능성 (definability) 과 수집 공리 (Collection) 의 상호작용, 그리고 초곱 (ultrapower) 을 통한 모델의 구조적 차이를 명확히 보여주었습니다. 특히, $\omega$-표준성과 비표준성이 모델의 범주적 성질에 어떻게 영향을 미치는지 보여주는 반례는 중요한 통찰을 제공합니다.
• 연구 방향 제시: Theorem 77 의 미해결 상태를 명시하고, 최근의 다양한 연구 동향 (Gruza, Meadows, Barton 등) 을 소개함으로써, 집합론과 수리논리학의 기초 연구에 대한 새로운 연구 과제를 제시했습니다.

요약하자면, 이 논문은 이전 연구의 오류를 수정하고 새로운 반례를 제시함으로써 해당 분야의 이론적 기반을 다지는 동시에, 최근의 활발한 연구 동향을 정리하여 미래 연구의 방향을 제시하는 중요한 기술적 보고서입니다.