← NTLA-O / Paper 3 · NTLA-O II:集合論觀察者階層
Set-Theoretic Observer Hierarchy — Power Sets, Admissible Distinction Families, Ordinal Rank, Set-Boundedness, and Class-Level Observer Towers
NTLA-O 系列第 3 篇。把前文以五元組表示的觀察者,以及由有效觀察映射定義的觀察不可區分核,正式落實到集合論地基:觀察者的合法區分族如何用冪集、序數 rank 與 size/boundedness 條件約束,並把「觀察塔」從單一集合層級推廣到類級(class-level)觀察塔。
跟系列其他論文的關係,盡量用它自己文件裡的話,不是我的解讀。
為下一篇「區分族如何升級成拓樸」提供集合論前提。
載入中…