수 많은 추기경
Iterable cardinal수학에서 수 많은 추기경은 기트만(2011년)과 샤프·웰치(2011년)가 소개한 대형 추기경의 일종으로, 기트만과 웰치(2011년)가 추가로 연구했다.샤프와 웰치는 임의 길이의 초고속 반복에 의해 근거가 충분한 M-ultrafilter가 weak에 존재하는 약한 m-모델 M에 κ의 모든 부분집합이 포함된 경우 추기경 κ을 반복할 수 있다고 정의했다.Gitman은 보다 미세한 개념을 제시했는데, 여기서 추기경 κ은 길이 α의 초경량 반복만이 충분한 근거가 필요한 경우 α-숫자로 정의된다.(표준 인수에 의한 반복성은 Ω-iterability와1 동일하다.)
참조
- Gitman, Victoria (2011), "Ramsey-like cardinals I", Journal of Symbolic Logic, 76 (2): 519–540, arXiv:0801.4723, doi:10.2178/jsl/1305810762, MR 2830435
- Gitman, Victoria; Welch, P. D. (2011), "Ramsey-like cardinals II", Journal of Symbolic Logic, 76 (2): 541–560, arXiv:1104.4448, doi:10.2178/jsl/1305810763, MR 2830435
- Sharpe, Ian; Welch, P. D. (2011), "Greatly Erdős Cardinals with some generalizations to the Chang and Ramsey properties", Annals of Pure and Applied Logic, 162 (2): 863–902, doi:10.1016/j.apal.2011.04.002, MR 2817562
외부 링크
