UAP 괴델 방해 시리즈의 논문 2 이 논문은 정형화된 추출 장벽에 대한 해결책으로 분쟁 문장 체제를 위한 산술화된 구조를 개발합니다. 이론 코드 e (Tₑ를 나타냄)와 문장 코드 g (G를 나타냄)를 주어진 경우, 우리는 3-차트 유한 체제를 출력하는 기본 재귀 생성기 Reg(e, g)를 정의합니다. 주요 기술 형식: 신경: 겹침 구조는 차트 Φ₀, Φ₁, Φ₂가 있는 심플리시얼 원 S¹과 동형입니다. 유효성 술어: 우리는 Valid(e, g) ⟺ Con(Tₑ + G) ∧ Con(Tₑ + ¬G)임을 보여줍니다. 이는 브리지 체제의 유효성이 정확히 산술 계층의 Π₁ 수준에 있다는 것을 나타냅니다. 코호몰로지 방해: 이 구조는 ℤ/2 값의 전이 코사이클 (0, 1, 0)을 산출합니다. 우리는 이것이 H¹(S¹, ℤ/2)에서 유일한 비자명 클래스임을 나타낸다고 증명합니다. 불변성과 최소성: 이 논문은 체제가 토르소 재표기 및 제어-중언 대체에 대해 불변임을 증명합니다. furthermore, 우리는 3개의 차트가 연결된 체제에서 비자명 1차 이진 방해를 운반하기 위한 최소 요건임을 증명합니다. 이 층은 후속 고정점 및 실현 논문을 위한 산술 기계적 장치를 제공하며, 원시 증명 가능성과 위상적 방해 이론 사이의 간격을 연결합니다.
David Betzer (Sat,)는 이 질문을 연구했습니다.