[논문 리뷰] PCF without choice

Saharon Shelah|arXiv (Cornell University)|2005. 10. 11.

Advanced Topology and Set Theory참고 문헌 6인용 수 11

한 줄 요약

이 논문은 선택 공리가 제한된 집합론 모델, 특히 ZF + DC + 주어진 기수 λ에 대한 가 countable 부분집합의 국소적 양호화를 갖는 모델에서 pcf(possible cofinalities) 이론을 확장한다. 이러한 조건 하에서 일반화된 pcf 프레임워크를 수립하고, 정칙 기수의 집합이 존재하고, 기수 부등식을 도출함으로써 ZFC를 초월한 핵심 pcf 결과들을 확장한다.

ABSTRACT

We mainly investigate model of set theory with restricted choice, e.g., ZF + DC + the family of countable subsets of is well ordered for every lambda (really local version for a given lambda). In this frame much of pcf theory can be generalized. E.g., there is a class of regular cardinals, and we can prove cardinal inequality.

연구 동기 및 목표

• 제한된 선택 공리 조건 하에서 pcf 이론이 얼마나 발전시킬 수 있는지 조사하기 위해.
• 고정된 λ에 대해 λ의 가 countable 부분집합의 양호화가 핵심 pcf 결과를 복원하는 데 충분한지 검토하기 위해.
• 전체 선택 공리의 부재 하에서 pcf의 일반화 및 정칙 기수 집합의 존재를 일반화하기 위해.
• 이 제한된 프레임워크에서 기수 부등식을 증명하여 고전적 pcf 정리들을 확장하기 위해.

제안 방법

• 주어진 λ에 대해 λ의 가 countable 부분집합의 집합이 양호화된 ZF + DC + 조건 하에서 작업하기 위해.
• 전체 선택 공리 없이도 작동하도록 고전적 pcf 구성 방식을 조정하고, 가 countable 부분집합의 국소적 양호화에 의존하기 위해.
• 가 countable 부분집합의 양호화를 이용해 정칙 기수 집합 위의 pcf 구조를 정의하고 분석하기 위해.
• 전순서 귀납과 코finality 추론을 통해 pcf 함수의 존재를 확립하고, 부등식을 도출하기 위해.
• 일부 역한계와 초곱이 잘 정의되고 분석 가능하도록 국소적 선택 조건을 적용하기 위해.
• 결과로 얻어진 pcf 구조가 ZFC pcf 이론의 것과 유사한 기수 부등식을 지지함을 증명하기 위해.

실험 결과

연구 질문

• RQ1 ZF에서 의존 선택 공리와 가 countable 부분집합에 대한 제한된 선택 조건이 있는 모델에서 pcf 이론을 일반화할 수 있는가?
• RQ2 고정된 λ에 대해 λ의 가 countable 부분집합의 양호화가 pcf 이론에서 정칙 기수 집합의 존재를 복원하는 데 충분한가?
• RQ3 주어진 제한된 가정 하에서 전체 선택 공리 없이 pcf 이론의 기수 부등식을 증명할 수 있는가?
• RQ4 가 countable 부분집합의 국소적 양호화가 pcf 함수의 구조와 그 코finality에 어떤 영향을 미치는가?
• RQ5 선택 공리의 상당한 약화가 pcf 이론의 범위에 어떤 한계를 초래하는가?

주요 결과

• ZF + DC + λ의 가 countable 부분집합의 집합이 양호화된 조건 하에서, pcf 프레임워크 내에 정칙 기수의 집합이 존재한다.
• 논문은 전체 선택 공리 없이도 기수 부등식을 지지하는 일반화된 pcf 구조를 확립한다.
• λ의 가 countable 부분집합에 대한 국소적 양호화 가정은 pcf 함수의 구성과 그 코finality 분석을 가능하게 한다.
• ZFC pcf 이론의 것과 유사한 기수 부등식이 이 제한된 설정에서 증명되었으며, 핵심 결과의 강건성을 보여준다.
• 이 프레임워크는 pcf 폐쇄의 정의와 주어진 공리 하에서 정칙 기수 집합 위의 pcf 함수 존재를 허용한다.
• 결과는 선택 공리의 전반적 부재 조건 하에서도 pcf 이론의 많은 핵심 특징이 유지됨을 보여준다. 다만 λ의 가 countable 부분집합이 양호화되어야 한다.