[논문 리뷰] The Seed Order

Gabriel Goldberg|arXiv (Cornell University)|2017. 06. 02.

Advanced Topology and Set Theory참고 문헌 7인용 수 4

한 줄 요약

이 논문은 균일한 가чёт완비 초월수에 대한 부분순서인 시드 순서를 도입하며, 미첼 순서의 일반화이다. 선형성 가정—즉, 초등구조자원가정(Ultrapower Axiom)에 기반하여, 시드 순서는 초점이 되는 구조적 성질을 유도하며, 이는 기존의 정규 내부모형과 유사한 성질을 띈다. 이는 초점이 되는 대규모 기수 가정, 예를 들어 초초점성(supercompactness)과 같은 가정 조건에서도 성립한다.

ABSTRACT

This paper introduces the seed order, a partial order of the class of uniform countably complete ultrafilters that generalizes the Mitchell order on normal measures. Like that order, the seed order is consistently a linear ordering even under strong large cardinal assumptions. In fact, the linearity of the seed order is a feature of all known canonical inner models for large cardinal axioms. We develop the theory of the seed order under the assumption that it is linear. Augmented by large cardinal hypotheses currently out of reach of inner model theory (namely supercompactness), this linearity assumption, which we call the Ultrapower Axiom, has surprisingly strong consequences reminiscent of the structure theory of the canonical inner models.

연구 동기 및 목표

• 균일한 가чёт완비 초월수에 대해 시드 순서를 정의하고 형식화하여, 이는 미첼 순서의 일반화임을 밝히는 것.
• 시드 순서가 선형임을 가정할 경우, 강력한 대규모 기수 가정 조건에서도 그 결과를 조사하는 것.
• 이 선형성, 즉 초등구조자원가정으로 불리는 바, 정규 내부모형의 성질과 유사한 구조적 성질을 어떻게 도출하는지 탐구하는 것.
• 현재 실현 불가능한 가정들, 예를 들어 초초점성과 같은 가정들을 도입함으로써 내부모형 이론의 현재 한계와의 연결 고리를 설정하는 것.

제안 방법

• 논문은 임bedding 비교를 기반으로, 균일한 가чёт완비 초월수 위에 시드 순서를 부분순서로 정의한다.
• 시드 순서의 선형성을 가정하며, 이를 기본 가정으로 삼는 초등구조자원가정을 도입한다.
• 특히 초초점성과 같은 대규모 기수 가정을 바탕으로, 구조적 결과를 탐색한다.
• 우르파워드 임베딩과 초월수 간의 원소적 임베딩을 통한 비교를 통해 이론을 발전시킨다.
• 정규 내부모형의 특징을 참고로 하여, 기대되는 행동 양태와 유사한 유사성 관계를 설정한다.
• 기존 내부모형 이론의 결과를 활용하여, 시드 순서의 선형성이 초래하는 함의를 유추한다.

실험 결과

연구 질문

• RQ1 균일한 가чёт완비 초월수 위에서 시드 순서의 구조는 어떻게 되며, 이는 어떻게 미첼 순서를 일반화하는가?
• RQ2 시드 순서가 선형이 되는 조건은 무엇이며, 이러한 선형성의 결과는 무엇인가?
• RQ3 초등구조자원가정—즉, 시드 순서의 선형성을 가정하는 것—은 초월수의 구조와 그 우르파워드의 구조에 어떤 영향을 미치는가?
• RQ4 초등구조자원가정의 결과가 정규 내부모형의 성질과 어느 정도 유사한가?
• RQ5 초초점성과 같은 가정들은 시드 순수와 초등구조자원가정과 어떻게 상호작용하는가?

주요 결과

• 시드 순서는 더 넓은 초월수의 클래스로 미첼 순서를 일반화하며, 부분순서의 구조를 유지한다.
• 시드 순서의 선형성은 현재 내부모형 이론의 범위를 초월하는 강력한 대규모 기수 가정 조건에서도 일관되게 유지된다.
• 초등구조자원가정은 시드 순서의 선형성을 주장하며, 이는 정규 내부모형과 유사한 구조적 결과를 초래한다.
• 특히 초초점성과 같은 대규모 기수 가정이 추가로 적용될 경우 이러한 결과는 더욱 강력해진다.
• 시드 순서의 선형성은 현재 내부모형 구축의 한계에도 불구하고, 정규 내부모형의 알려진 특징과 유사한 통합적 프레임워크를 제공한다.