초필터 수 함수의 단조성

기본 정보

• 논문 ID: 2501.14988
• 제목: Monotonicity of the ultrafilter number function (초필터 수 함수의 단조성)
• 저자: Toshimichi Usuba (와세다 대학교)
• 분류: math.LO (수리논리학)
• 발표 시간: 2025년 1월 (arXiv 사전인쇄본 v4, 2025년 11월 20일 업데이트)
• 논문 링크: https://arxiv.org/abs/2501.14988

초록

본 논문은 초필터 수 함수 $\kappa \mapsto u(\kappa)$가 기수 위에서 단조인지 여부를 연구합니다. 즉, 모든 기수 $\lambda < \kappa$에 대해 $u(\lambda) \leq u(\kappa)$이 항상 성립하는지를 조사합니다. 저자는 단조성이 실패할 수 있음을 증명하지만, 이러한 실패는 큰 기수의 강도를 가집니다. 한편, 논문은 단조성 실패에 많은 제약이 있음을 증명합니다. 예를 들어, $\kappa$가 가산 공종성을 가진 특이 기수이거나 강극한 특이 기수이면, $u(\kappa) \leq u(\kappa^+)$가 성립합니다.

연구 배경 및 동기

핵심 문제

기수 $\kappa$에 대해, 초필터 수 $u(\kappa)$는 $\kappa$ 위의 균등 초필터 기저의 최소 기수로 정의됩니다. 본 논문의 핵심 문제는 다음과 같습니다: 초필터 수 함수 $\kappa \mapsto u(\kappa)$는 단조인가?

문제의 중요성

1. 기수 불변량 연구의 자연스러운 확장: 전통적 연구는 단일 기수에서 초필터 수와 다른 기수 불변량의 비교(예: $u(\kappa)$와 $2^\kappa$의 관계)에 초점을 맞추었습니다. 본 논문은 함수 행동의 관점에서 초필터 수를 연구하여 새로운 시각을 제시합니다.
2. 일반화 연속체 가설(GCH)과의 대비: GCH 하에서 $u(\kappa) = 2^\kappa = \kappa^+$이므로, 초필터 수 함수는 순증가합니다. 그러나 비-GCH 환경에서 단조성이 유지되는지는 자연스러운 문제입니다.
3. 집합론적 위상과의 연결: Hart와 van Mill도 집합론적 위상 배경에서 유사한 문제를 제시했습니다(참고문헌 12의 Question 63).

기존 방법의 한계

• 일부 기수 불변량(예: 지배 수 $d(\kappa)$)의 경우, 단조성 실패를 쉽게 구성할 수 있지만, 이러한 방법들은 초필터 수에 적용되지 않습니다.
• Raghavan과 Shelah는 $u(\omega_{\omega+1}) < 2^{\omega_{\omega+1}}$의 일관성을 증명했지만, 단조성 문제는 다루지 않았습니다.
• 후속 기수에서의 초필터 수에 대해 알려진 결과는 거의 없습니다.

연구 동기

본 논문은 초필터 수 함수의 단조성을 체계적으로 연구하여, 그 실패의 일관성, 큰 기수 강도, 그리고 ZFC 제약을 밝히는 것을 목표로 합니다.

핵심 기여

본 논문의 주요 기여는 다음을 포함합니다:

1. 단조성 실패의 일관성 결과(정리 1.2):
   • 적절한 큰 기수 가정 하에서, $\lambda < \kappa$이지만 $u(\kappa) < u(\lambda)$인 기수 $\kappa, \lambda$가 존재합니다.
   • 특히, $u(\omega_{\omega+1}) < u(\omega_1)$이 일관성입니다.
   • $u(\kappa^+) < u(\kappa)$인 특이 기수 $\kappa$가 일관성입니다.
2. 단조성 실패의 ZFC 제약(정리 1.3):
   • 모든 기수 $\kappa$에 대해 $u(\omega) \leq u(\kappa)$가 성립합니다.
   • $\lambda$가 정칙이고 $u(\kappa) < u(\lambda)$이면, $\lambda^{+\omega} \leq \kappa$입니다.
   • $\kappa$가 가산 공종성을 가진 특이 기수이거나 강극한 특이 기수이면, $u(\kappa) \leq u(\kappa^+)$입니다.
   • $u(\kappa^+) < u(\kappa)$이면, $\{\lambda < \kappa \mid \lambda \text{는 정칙}, u(\lambda) > u(\kappa^+)\}$는 $\kappa$에서 유계입니다.
3. 분해 불가능한 초필터에 관한 새로운 결과(정리 1.4):
   • $\kappa$가 특이이고, $U$가 $\kappa^+$-분해 가능하며 $\text{cf}(\kappa)$-분해 가능한 초필터이면, $U$는 또한 $\kappa$-분해 가능합니다.
   • Kunen-Prikry와 Lipparini의 결과를 개선합니다.
4. 일관성 강도 결과(정리 1.5, 1.6):
   • "존재 $\lambda < \kappa$ 그러한 $u(\kappa) < u(\lambda)$"는 "존재 가측 기수"와 일관성입니다.
   • 존재 $\lambda \leq \kappa$ 그러한 $u(\kappa^+) < u(\lambda)$이면, 진정한 클래스 강 기수를 가진 내부 모델이 존재합니다.

방법론 상세 설명

핵심 기술 프레임워크

본 논문의 방법론은 세 가지 기술적 기둥 위에 구축됩니다:

1. 분해 불가능한 초필터 이론

정의: 초필터 $U$는 $\lambda$-분해 가능하다는 것은, 함수 $f: S \to \lambda$가 존재하여 모든 $X \in [\lambda]^{<\lambda}$에 대해 $f^{-1}(X) \notin U$인 경우입니다.

핵심 연결(보조정리 5.1 및 추론 5.2):

• $\lambda < \kappa$이고 $U$가 $\lambda$-분해 가능한 초필터이면, $u(\lambda) \leq \chi(U)$입니다.
• $u(\kappa) < u(\lambda)$이면, 특성이 $u(\kappa)$인 $\kappa$ 위의 모든 균등 초필터는 $\lambda$-분해 불가능합니다.

이는 단조성 실패와 분해 불가능한 초필터 존재 사이의 직접적인 연결을 확립합니다.

2. Raghavan-Shelah 정리의 일반화

정리 3.1(핵심 구성 정리): $\kappa, \mu$를 다음을 만족하는 비가산 기수라고 하면:

• $\text{cf}(\mu) < \kappa < \mu$
• 모든 $\nu < \mu$에 대해 $\nu^\kappa < \mu$
• $\kappa$는 $\text{cf}(\mu)$-분해 불가능한 균등 초필터 $U$를 가짐

$P$가 $\text{cf}(\mu)$-c.c.를 가지고 $|P| \leq \mu$인 부분순서 집합이면, $P$는 $u(\kappa) \leq \mu$를 강제합니다.

증명 개요:

1. 각 $P$-이름 $\dot{B} \subseteq \check{\kappa}$에 대해, $\text{cf}(\mu)$-분해 불가능성을 이용하여 $D \in U$와 $\gamma < \mu$를 찾아서 $\dot{B} \cap \check{D}$가 $\gamma$-nice 이름으로 표현되도록 합니다.
2. 일반적 확장에서, $U$를 초필터 $V$로 확장하고, nice 이름으로 생성된 족 $\mathcal{G}$가 $V$의 기저임을 증명합니다.
3. $|\mathcal{G}| \leq \mu$이므로, $u(\kappa) \leq \mu$입니다.

3. 특이 기수에서의 PCF 이론 적용

정리 7.3(핵심 기술 정리): $\kappa$를 특이 기수, $U$를 초필터라고 하면. $U$가 $\kappa^+$-분해 가능하고 $\text{cf}(\kappa)$-분해 가능하면, $U$는 또한 $\kappa$-분해 가능합니다.

증명 핵심:

1. Kanamori 정리를 이용하여, $U$는 $(\kappa, \kappa^+)$-정칙입니다.
2. Shelah의 척도 이론을 이용하여, 길이 $\kappa^+$의 척도 $\langle f_i \mid i < \kappa^+ \rangle$가 존재합니다.
3. 함수 $h: S \to \kappa$를 구성하여, 각 $s$에 대해 $h(s)$를 모든 $f_i(\xi_s)$ ($i \in x_s$)보다 크도록 선택합니다.
4. $h$가 $\kappa$-분해 가능성을 증명합니다.

단조성 실패 모델의 구성

명제 4.4(기본 구성): $\kappa$를 기수, $\mu > \kappa$를 강극한 특이 기수, $\omega_1 \leq \text{cf}(\mu) < \kappa$라고 하면. $\lambda < \kappa$가 $\text{cf}(\lambda) = \text{cf}(\mu)$를 만족하고, $\kappa$가 $\text{cf}(\lambda)$-분해 불가능한 균등 초필터를 가지면, $\text{Add}(\omega, \mu)$는 $u(\kappa) < u(\lambda)$를 강제합니다.

적용 예시:

• 정리 4.5: $\kappa$가 가측이고, $\mu > \kappa$가 강극한 특이이며 $\text{cf}(\mu) = \omega_1$이면, $\text{Add}(\omega, \mu)$는 $u(\kappa) < u(\omega_1)$을 강제합니다.
• 정리 4.7: 적절한 큰 기수 가정 하에서, $u(\omega_{\omega+1}) < u(\omega_1)$이 일관성입니다.

$u(\kappa) < u(\omega_\omega)$ 모델의 구성

명제 6.2(대각선 반사 실패): $\kappa$를 가산 공종성을 가진 특이 기수, $\lambda < \kappa_0$를 정칙이라고 하면. 특정 비-반사 상주점 집합 조건을 만족하는 수열 $\langle \kappa_n, S_n \mid n < \omega \rangle$이 존재하면, $\kappa$ 위에는 $\lambda$-분해 불가능한 균등 초필터가 존재하지 않습니다.

명제 6.8(강제 구성): GCH 하에서, 명제 6.2의 조건을 만족하는 수열을 추가하는 부분순서 집합 $P$(역극한 구성)가 존재합니다.

정리 6.11: $\omega_\omega$ 위에 $\omega_1$-분해 불가능한 균등 초필터가 존재하지 않고, $\kappa$가 가측이며, $\mu > \kappa$가 강극한 특이이고 $\text{cf}(\mu) = \omega_1$이면, $\text{Add}(\omega, \mu)$는 $u(\kappa) < u(\omega_\omega)$를 강제합니다.

실험 설정

본 논문은 순수 수학 이론 연구이므로 실험이나 데이터 집합을 포함하지 않습니다. 모든 결과는 엄밀한 수학적 증명을 통해 확립됩니다.

주요 결과

단조성 실패의 일관성

정리 1.2의 완전한 진술: 적절한 큰 기수 가정 하에서, 다음 진술들이 일관성입니다:

1. 존재 $\kappa, \lambda$ 그러한 $\lambda < \kappa$이지만 $u(\kappa) < u(\lambda)$
2. $u(\omega_{\omega+1}) < u(\omega_1)$
3. 존재 공종성이 $\omega_1$인 특이 기수 $\kappa$ 그러한 $u(\kappa^+) < u(\kappa)$
4. 존재 정칙 기수 $\kappa$ 그러한 $u(\kappa^+) < u(\omega_1)$
5. 존재 기수 $\kappa > \omega_\omega$ 그러한 $u(\kappa) < u(\omega_\omega)$
6. 존재 기수 $\kappa$ 그러한 $u(\kappa^{+\omega_1}) < u(\omega_\omega)$

단조성의 ZFC 제약

정리 1.3의 완전한 진술:

1. 명제 5.3: 모든 기수 $\kappa$에 대해 $u(\omega) \leq u(\kappa)$가 성립합니다.
   • 증명: 그렇지 않으면, $\kappa$는 $\omega$-분해 가능한 초필터를 가지므로, 즉 $\sigma$-완전 초필터를 가지므로, 가측 기수 $\lambda \leq \kappa$가 존재합니다. 그러나 $u(\omega) \leq 2^\omega < \lambda \leq u(\kappa)$로 모순입니다.
2. 명제 5.4: $\lambda$가 정칙이고, $\lambda < \kappa$이지만 $u(\kappa) < u(\lambda)$이면, $\lambda^{+\omega} \leq \kappa$입니다.
   • 증명: 명제 5.4(1)에 의해, $u(\lambda) \leq u(\lambda^+) \leq u(\lambda^{++}) \leq \cdots$
3. 추론 7.5: $\kappa$가 가산 공종성을 가진 특이 기수이면, $u(\kappa) \leq u(\kappa^+)$입니다.
   • 증명: 정리 7.3을 이용하여, $u(\kappa^+) < u(\kappa)$이면 비-$\sigma$-완전이지만 $\kappa$-분해 불가능한 초필터가 존재하여 모순입니다.
4. 정리 7.9: $\kappa$가 강극한 특이 기수이면, $u(\kappa) \leq u(\kappa^+)$입니다.
   • 증명: 명제 7.8을 이용하여, $u(\kappa^+) < u(\kappa)$이면 $2^\kappa = \kappa^+$이지만 $u(\kappa) \leq 2^\kappa$로 모순입니다.
5. 정리 7.15: $\kappa$가 특이이고 $u(\kappa^+) < u(\kappa)$이면, 존재 $\lambda < \kappa$ 그러한 모든 정칙 $\mu \in (\lambda, \kappa)$에 대해 $u(\mu) \leq u(\kappa^+)$입니다.
   • 증명: 명제 7.12를 이용하여, $\kappa^+$ 위의 특성이 $u(\kappa^+)$인 초필터는 거의 $<\kappa$-분해 가능합니다.

일관성 강도

정리 8.4(등 일관성): 다음 이론들이 등 일관성입니다:

1. ZFC + "존재 가측 기수"
2. ZFC + "존재 $\lambda < \kappa$ 그러한 $u(\kappa) < u(\lambda)$"
3. ZFC + "존재 약 도달 불가능 기수 $\kappa$와 $\lambda < \kappa$ 그러한 $u(\kappa) < u(\lambda)$"
4. ZFC + "존재 특이 기수 $\kappa$와 $\lambda < \kappa$ 그러한 $u(\kappa) < u(\lambda)$"
5. ZFC + "존재 $\lambda < \kappa$ 그러한 $\kappa$는 $\lambda$-분해 불가능한 균등 초필터를 가짐"

정리 8.16(하한): 존재 $\lambda \leq \kappa$ 그러한 $u(\kappa^+) < u(\lambda)$이면, 진정한 클래스 강 기수를 가진 내부 모델이 존재합니다.

증명 개요:

• 추론 8.13을 이용하여, $\square(\kappa)$와 $\square(\kappa^+)$ 모두 실패합니다.
• Schimmerling 정리 8.8을 이용하여, 진정한 클래스 강 기수를 가진 내부 모델이 존재합니다.

방형 원리와의 연결

추론 8.13:

1. $\kappa$가 정칙이고 존재 $\lambda < \kappa$ 그러한 $u(\kappa) < u(\lambda)$이면, $\square(\kappa)$가 실패합니다.
2. 존재 $\lambda \leq \kappa$ 그러한 $u(\kappa^+) < u(\lambda)$이면, $\square_\kappa$가 실패합니다.

명제 8.14: $\kappa$가 정칙이고 존재 $\lambda \leq \kappa$ 그러한 $u(\kappa^+) < u(\lambda)$이면, $\square(\kappa)$와 $\square(\kappa^+)$ 모두 실패합니다.

관련 연구

초필터 수의 고전적 연구

1. Brendle와 Shelah 5: $u(\kappa) \geq \kappa^+$이고 $\text{cf}(u(\kappa)) > \omega$임을 증명
2. Garti와 Shelah 8: 특이 기수에서의 초필터 수 연구
3. Raghavan과 Shelah 21: $u(\omega_{\omega+1}) < 2^{\omega_{\omega+1}}$이 큰 기수 가정 하에서 일관성임을 증명

분해 불가능한 초필터

1. Prikry와 Silver 20: $\kappa$-분해 불가능한 균등 초필터의 존재성이 상주점 반사를 함축하며, 큰 기수 강도를 가짐
2. Kunen과 Prikry 17: 하강 불완전 초필터 연구
3. Lipparini 19: 거의 $<\kappa$-분해 가능한 초필터의 특성화
4. Ben-David와 Magidor 2: GCH 하에서 $\omega_{\omega+1}$ 위의 분해 불가능한 초필터 구성

방형 원리와 큰 기수

1. Schimmerling 22: 방형 원리 실패가 강 기수의 내부 모델을 함축
2. Lambie-Hanson과 Rinot 18, Inamdar와 Rinot 14: 분해 불가능한 초필터와 상주점 반사의 연결

PCF 이론

1. Shelah 23: PCF 이론 기초, 척도의 존재성
2. Kanamori 15: 약 정칙 초필터와 정칙성 결과

본 논문의 혁신

• 초필터 수 함수의 단조성을 처음으로 체계적으로 연구
• 단조성 실패와 분해 불가능한 초필터의 직접적 연결 확립
• Kunen-Prikry와 Lipparini의 분해 가능성 관련 결과 개선
• 단조성 실패의 정확한 일관성 강도 결정

결론 및 논의

주요 결론

1. 단조성은 실패할 수 있습니다: 적절한 큰 기수 가정 하에서, 초필터 수 함수는 비단조일 수 있으며, 심지어 $u(\omega_{\omega+1}) < u(\omega_1)$도 가능합니다.
2. 실패는 큰 기수 강도를 가집니다: 단조성 실패는 가측 기수의 존재성과 동치이며; 어떤 $\lambda \leq \kappa$에 대해 $u(\kappa^+) < u(\lambda)$이면, 진정한 클래스 강 기수를 가진 내부 모델이 존재합니다.
3. ZFC 제약이 광범위하게 존재합니다:
   • $u(\omega)$는 항상 최소입니다.
   • 정칙 기수에서 단조성은 항상 성립합니다.
   • 가산 공종성 또는 강극한 특이 기수에서 단조성이 성립합니다.
   • 단조성 실패 시, 실패점 사이에는 충분한 거리가 있어야 합니다.
4. 분해 불가능성이 핵심입니다: 단조성 실패는 분해 불가능한 초필터의 존재와 동치이며, 이것이 본 논문의 핵심 통찰입니다.

한계

1. 큰 기수 가정의 필요성: 단조성 실패가 큰 기수를 필요로 함을 증명했지만, 실패 모델을 구성하는 것도 큰 기수 가정을 필요로 하며, 이러한 가정의 정확한 강도(특히 $u(\omega_{\omega+1}) < u(\omega_1)$의 경우)는 여전히 불명확합니다.
2. 미해결 경우들:
   • $2^{<\lambda} = \lambda$이고 $u(\kappa) < u(\lambda)$인 $\lambda < \kappa$가 존재하는 것이 일관성인가?
   • 단조성이 세 개 이상의 기수에서 실패할 수 있는가?
3. 기술적 한계:
   • 공종성이 $\omega$인 경우, 특수한 구성이 필요합니다(명제 6.2-6.8).
   • 일부 결과에서 $\omega_1$을 $\omega$로 직접 대체할 수 없습니다.

향후 방향

저자는 문제 8.17에서 다음을 제시합니다:

1. 정확한 일관성 강도: 어떤 $\lambda \leq \kappa$에 대해 $u(\kappa^+) < u(\lambda)$의 정확한 일관성 강도는 무엇인가? 현재 진정한 클래스 강 기수의 내부 모델이 필요함을 알고 있지만, 상한이 더 약할 수 있습니다.
2. $2^{<\lambda} = \lambda$ 경우: $2^{<\lambda} = \lambda$이고 $u(\kappa) < u(\lambda)$인 $\lambda < \kappa$가 존재하는 것이 일관성인가?
3. 다중점 실패: 다음을 만족하는 세 기수 $\kappa_0 < \kappa_1 < \kappa_2$가 존재하는가:
   • $u(\kappa_2) < u(\kappa_1) < u(\kappa_0)$?
   • $u(\kappa_1) < u(\kappa_2) < u(\kappa_0)$?
   • $u(\kappa_2) < u(\kappa_0) < u(\kappa_1)$?
4. 다른 기수 불변량: 단조성 실패도 큰 기수 강도를 가지는 다른 기수 불변량 함수 $k(\kappa)$가 존재하는가?

심층 평가

장점

1. 개척적 연구: 초필터 수 함수의 전체적 행동을 처음으로 체계적으로 연구하여 새로운 연구 방향을 개척합니다.
2. 기술적 깊이:
   • 강제, 큰 기수, PCF 이론, 분해 불가능한 초필터 이론을 교묘하게 결합합니다.
   • 정리 7.3은 고전적인 Kunen-Prikry 결과를 개선하며 독립적인 가치를 가집니다.
   • $u(\kappa) < u(\omega_\omega)$ 모델 구성(제6절)은 기술적 난이도가 높습니다.
3. 결과의 포괄성:
   • 일관성 구성과 ZFC 제약 모두 증명합니다.
   • 상한과 하한 모두 제시합니다.
   • 정칙, 특이, 가산 공종성, 비가산 공종성 등 다양한 경우를 다룹니다.
4. 구조의 명확성:
   • 논문 구성이 합리적이며 단순에서 복잡으로 점진적으로 전개됩니다.
   • 제3절의 일반화된 Raghavan-Shelah 정리는 후속 구성을 위한 통일된 프레임워크를 제공합니다.
   • 제7절은 분해 불가능한 초필터 이론을 체계적으로 발전시키며 독립적 의미를 가집니다.
5. 광범위한 연결: 초필터 수를 방형 원리, 상주점 반사, 내부 모델 이론과 연결합니다.

부족한 점

1. 일부 증명의 완전성:
   • 보조정리 4.2의 증명은 기술적으로 강하지만, 저자는 주석 4.3에서 $\text{cf}(u(\kappa)) \neq \text{cf}(\kappa)$를 증명할 수 있다면(Garti-Shelah 공개 문제) 이 보조정리가 불필요함을 인정합니다.
   • 일부 결과는 "적절한 큰 기수 가정"에 의존하지만 정확한 가정이 명확하지 않습니다.
2. 구성의 복잡성:
   • 제6절의 $u(\kappa) < u(\omega_\omega)$ 모델 구성은 복잡한 역극한 강제와 상주점 집합 조작을 포함하여 가독성이 낮습니다.
   • 명제 6.2의 조건(3)은 기술적이며 직관적 이해가 어렵습니다.
3. 많은 미해결 문제: 문제 8.17이 보여주듯이 많은 기본 문제가 여전히 미해결입니다.
4. 제한된 응용: 순수 이론 연구로서 다른 수학 분야에서의 응용은 아직 보이지 않습니다.

영향력

1. 이론적 기여:
   • 기수 불변량 연구에 새로운 관점을 제공합니다(함수 행동 대 단점 값).
   • 정리 7.3 등의 기술적 결과는 후속 연구에서 인용될 것입니다.
   • 단조성 실패와 큰 기수의 깊은 연결을 확립합니다.
2. 방법론적 가치:
   • 강제, 큰 기수, PCF 이론을 종합적으로 사용하는 방법을 보여줍니다.
   • 명제 6.2의 대각선 구성 기술은 다른 문제에 적용될 수 있습니다.
3. 후속 연구 방향:
   • 문제 8.17이 명확한 연구 방향을 제시합니다.
   • 다른 기수 불변량 함수의 단조성 연구를 자극할 수 있습니다.
   • 방형 원리, 내부 모델 이론과의 연결이 새로운 결과를 낳을 수 있습니다.
4. 재현 가능성: 순수 수학 증명으로서 결과는 완전히 검증 가능하지만, 일부 구성(특히 제6절)의 구체적 구현은 깊은 집합론 배경을 필요로 합니다.

적용 분야

1. 집합론 연구:
   • 기수 불변량 이론
   • 큰 기수 이론
   • 강제 이론
   • PCF 이론
2. 관련 분야:
   • 집합론적 위상(Stone-Čech 컴팩트화에서 초필터의 응용)
   • 모형론(초곱 구성)
   • 조합 집합론(무한 조합론)
3. 교육적 가치:
   • 현대 집합론의 다양한 기술의 종합적 응용을 보여줍니다.
   • 고급 집합론 과정의 사례 연구로 활용될 수 있습니다.

참고문헌(주요 문헌)

2 S. Ben-David, M. Magidor. The weak □∗ is really weaker than the full □. J. Symb. Log. 51(4), 1029–1033 (1986).

5 J. Brendle, S. Shelah, Ultrafilters on ω–their ideals and their cardinal characteristics. Trans. Amer. Math. Soc. 351 (1999), no. 7, 2643–2674.

6 H.-D. Donder. Regularity of ultrafilters and the core model. Israel J. Math. 63(1988), no.3, 289–322.

15 A. Kanamori. Weakly normal filters and irregular ultrafilters. Trans. Amer. Math. Soc. 220(1976), 393–399.

17 K. Kunen, K. Prikry, On descendingly incomplete ultrafilters. J. Symbolic Logic 36 (1971), 650–652.

19 P. Lipparini, Decomposable ultrafilters and possible cofinalities. Notre Dame J. Form. Log. 49 (2008), no. 3, 307–312.

20 K. L. Prikry. On descendingly complete ultrafilters. In Cambridge Summer School in Mathematical Logic (1971), Lecture notes in Mathematics, 337, 459–488.

21 D. Raghavan, S. Shelah. A small ultrafilter number at smaller cardinals. Arch. Math. Logic 59(2020), no.3-4, 325–334.

22 E. Schimmerling. Coherent sequences and threads. Adv. Math. 216(2007), no.1, 89–117.

23 S. Shelah. Cardinal arithmetic. Oxford Logic Guides, 29. Oxford University Press, 1994.

종합 평가: 이는 집합론 연구의 고품질 논문으로, 초필터 수 함수의 단조성 문제를 개척적으로 연구합니다. 논문은 기술적 깊이가 높고, 결과가 포괄적이며, 일관성 구성과 ZFC 제약, 상한과 하한을 모두 제시합니다. 정리 7.3 등의 기술적 결과는 독립적 가치를 가집니다. 일부 구성이 복잡하고 미해결 문제가 남아 있지만, 전체적으로 기수 불변량 이론에 대한 중요한 기여이며 후속 연구에 지속적인 영향을 미칠 것입니다.