精明性与精细性的递归类比及其在精细结构中的应用
逻辑
2024-07-09 v3
摘要
我们分享了关于稳定序数和精明基数概念的近期和较早的著名结果。然后我们论证，Σ₂-非投射序数可以被视为精细基数的递归类比，精细基数是一种与Jensen精细结构相关的高度组合类型的基数，因为后者具有基于精明性的刻画。
引用
@article{arxiv.2312.15818,
title = {Recursive Analogues of Shrewdness and Subtlety, with Applications to Fine Structure},
author = {Jayde Sylvie Massmann},
journal= {arXiv preprint arXiv:2312.15818},
year = {2024}
}
备注
11 pages, no figures, preprint, independent research. Updated twice: 1st time it was a large modification as I realized that the main theorem was false. The 2nd time was adding a single sentence of credit as said credit was due