[논문 리뷰] The consistency strength of NFUB

Robert M Solovay|ArXiv.org|1997. 07. 30.

Formal Methods in Verification인용 수 6

한 줄 요약

이 논문은 Quine의 New Foundations 집합론의 변종인 NFUB의 일致성 강도가 정확히 ZFC에서 멱집합 공리만 제거한 체계에 약한 컴팩트 카디널을 추가한 것과 정확히 일치함을 입증한다. Robert M. Solovay는 고급 수학 논리 기법을 사용하여 이에 대한 증명을 제시하며, NFUB가 이 잘 알려진 대규모 기수 가정에 상대적으로 일치함을 보였다.

ABSTRACT

We show that the consistency strength of the system NFUB, a variant of Quine's "New Foundations" recently introduced by Randall Holmes, is precisely that of [ZFC - Power Set] + "There is a weakly compact cardinal''. This is a preliminary draft of the paper. Nevertheless, it contains a complete proof.

연구 동기 및 목표

• Randall Holmes에 의해 도입된 Quine의 New Foundations 집합론의 변종인 NFUB의 정확한 일치성 강도를 규명하는 것.
• NFUB가 알려진 대규모 기수 공리에 상대적으로 일관된지 여부를 입증하는 것.
• 정확한 등일치 관계를 규명하여 비표준 집합론 체계와 표준 집합론 프레임워크 사이의 격차를 메우는 것.
• NFUB의 일치성이 ZFC에서 멱집합 공리를 제거한 체계에 약한 컴팩트 카디널이 추가된 것과 정확히 동치임을 확립하는 데미스의 정식 증명을 제공하는 것.

제안 방법

• NFUB의 증명 이론적 강도를 분석하기 위해 고급 수학 논리 및 집합론 기법을 활용한다.
• 포스팅(forcing)과 내부 모델 이론 기법을 활용하여 NFUB을 알려진 대규모 기수 가정과 연관지킨다.
• ZFC에서 멱집합 공리를 제거한 체계에 약한 컴팩트 카디널이 추가된 모델 내에서 NFUB의 모델을 구성한다.
• NFUB의 임의의 모델이 ZFC에서 멱집합 공리를 제거한 체계에 약한 컴팩트 카디널이 추가된 모델에 통합될 수 있음을 보여준다.
• 일致성 확보를 위해 필요한 폐쇄성과 반사 성질을 확보하기 위해 약한 컴팩트 카디널의 존재에 의존한다.
• 내부 모델 이론의 결과를 적용하여, NFUB의 일치성이 목표 체계의 일치성 초과되지 않음을 보였다.

실험 결과

연구 질문

• RQ1 Quine의 New Foundations의 변종인 NFUB의 정확한 일치성 강도는 무엇인가?
• RQ2 NFUB가 알려진 대규모 기수 가정에 상대적으로 일관된 것으로 보일 수 있는가?
• RQ3 NFUB의 일치성 강도는 정확히 ZFC에서 멱집합 공리를 제거한 체계에 약한 컴팩트 카디널이 추가된 것과 동일한가?
• RQ4 약한 컴팩트 카디널이 NFUB의 모델을 구성하는 데 어떻게 기여하는가?
• RQ5 NFUB와 목표 체계 사이의 등일치를 입증하기 위해 필요한 논리적 기법은 무엇인가?

주요 결과

• NFUB의 일치성 강도는 정확히 ZFC에서 멱집합 공리만 제거한 체계에 약한 컴팩트 카디널이 존재하는 것과 동일하다.
• ZFC에서 멱집합 공리를 제거한 체계에 약한 컴팩트 카디널이 추가된 모델 내에서 NFUB의 모델을 구성함으로써, NFUB가 이 체계에 상대적으로 일관됨을 입증하였다.
• 증명은 정확한 등일치를 확립하였으며, 이는 한 체계가 일관되면 다른 체계 역시 일관됨을 의미한다.
• NFUB가 비표준 집합론임에도 불구하고, 대규모 기수 가정의 맥락에서 그 강건함을 입증하였다.
• 증명은 초도 초안 형태로 완성되었으며, 기술적 철학적 엄밀함을 보였다.
• 이 결과는 향후 비표준 집합론과 그 일치성 강도에 대한 연구에 기초 기준을 제공한다.