순서쌍을 포함한 결정 가능한 집합 이론 조각과 그 확장들의 불결정성
안내: 본 포스트의 한글 요약 및 분석 리포트는 AI 기술을 통해 자동 생성되었습니다. 정보의 정확성을 위해 하단의 [원본 논문 뷰어] 또는 ArXiv 원문을 반드시 참조하시기 바랍니다.
초록
본 논문은 제한된 양화만 허용하는 집합 이론 조각 ∀π⁰,₂ 을 정의하고, 그 만족성 문제는 비결정적 지수시간(NEXPTIME) 안에 해결됨을 보인다. 양화 전제가 상수 길이로 제한될 경우 NP‑완전임을 증명하고, 지도(맵) 관련 연산들을 풍부하게 표현한다. 마지막으로 도메인, 레인지, 이미지, 합성 연산을 추가하면 불결정적 확장으로 전환됨을 제시한다.
상세 분석
논문은 먼저 기존의 MLS(Multi‑Level Syllogistic)와 그 확장 ∀₀ (제한된 양화) 을 복습하고, 여기에 순서쌍 연산
댓글 및 학술 토론
Loading comments...
의견 남기기