중간 논리에서 무한 특성 공식의 새로운 지평

초록

본 논문은 무한하지만 유한하게 제시 가능한 직분해불가능 대수에 대한 특성 공식을 확장하고, 이러한 대수를 포함하는 헤이팅 대수의 변종이 연속체의 크기만큼 존재함을 보인다. 또한, 이러한 특성 공식으로만 정의될 수 있는 중간 논리들이 Jankov 공식으로는 정의될 수 없으며, 그 반례와 S4 내부 대수로의 전이 결과도 제시한다.

상세 분석

논문은 먼저 전통적인 특성 공식(즉, Jankov 공식)이 유한 직분해불가능( subdirectly irreducible, SI ) 헤이팅 대수에만 적용된다는 한계를 지적한다. 저자는 이 한계를 넘어, “유한하게 제시 가능한(in finitely presentable) 무한 SI 대수”에 대해서도 특성 공식을 정의한다. 핵심은 이러한 대수가 존재함을 보이는 동시에, 그 대수에 대응하는 공식이 기존 Jankov 공식과는 다른 구조적 정보를 담고 있다는 점이다. 이를 위해 저자는 두 단계의 구성법을 제시한다. 첫 번째는 무한 SI 대수를 구성하면서도 그 대수가 finitely presentable하도록 하는 복합적 합성(예: 자유 대수와 특정 동형사상 결합) 방법이다. 두 번째는 이러한 대수에 대한 특성 공식을 정의하는 절차로, 공식은 대수의 최소 비트리비얼 필터를 정확히 배제하도록 설계된다.

이러한 정의를 바탕으로 저자는 “연속체 크기의 변종(varieties) 존재”를 증명한다. 구체적으로, 서로 다른 무한 SI 대수들의 집합을 선택하고, 각 대수에 대응하는 특성 공식들의 집합을 취하면, 그 집합이 서로 독립적인 axiomatization을 제공함을 보인다. 따라서 2^{\aleph_0}개의 서로 다른 변종이 존재한다는 결론에 도달한다.

다음으로, 중간 논리(intermediate logics)와의 연계성을 탐구한다. 특성 공식으로 axiomatized 되는 논리들은 기존 Jankov 공식만으로는 포착할 수 없는 미세한 대수적 차이를 반영한다. 저자는 구체적인 예시로, 특정 무한 SI 대수에 대응하는 특성 공식이 정의하는 논리 L를 제시하고, L가 어떠한 Jankov 공식의 집합으로도 완전하게 기술될 수 없음을 증명한다. 이는 Jankov 공식이 “유한” 대수에만 충분히 강력함을 보여주는 반증이다.

또한, 반대로 “특성 공식으로도 axiomatizable 하지 못하는” 중간 논리들의 존재도 제시한다. 이러한 논리들은 일반적인 대수적 방법으로는 캡처되지 않으며, 이는 특성 공식 자체가 한계가 있음을 시사한다.

마지막으로, Gödel‑McKinsey‑Tarski 변환을 이용해 결과를 내부 대수(interior algebras)와 S4의 정규 확장(normal extensions)으로 옮긴다. 변환을 통해 헤이팅 대수의 변종이 내부 대수의 변종에 일대일 대응함을 보이고, 따라서 연속체 크기의 S4 확장도 동일하게 존재함을 결론짓는다. 전체적으로 이 논문은 특성 공식 이론을 무한 대수까지 확장함으로써 대수적 논리학의 풍경을 크게 넓히고, 기존 Jankov 공식 체계의 한계를 명확히 드러낸다.