On the Concept of Arithmetic Conseqeunce

该论文基于证明论语义学提出了一种替代视角,指出对于合适的算术理论,其“支持”(support)这一语义后承概念虽在形式上无法证明自身一致性,却能在语义上支持该一致性陈述,从而将哥德尔不完备性定理重新诠释为同一理论内部“可推导性”与“支持性”这两种后承概念之间的原则性分歧,而非句法证明与独立模型真理之间的鸿沟。

Alexander V. Gheorghiu2026-03-11🔢 math

Homotopy Posets, Postnikov Towers, and Hypercompletions of \infty-Categories

该论文将同伦集、群、连通与截断映射等基础同伦论概念推广至(,)(\infty,\infty)-范畴及在Gray张量积下由(,)(\infty,\infty)-范畴加权的现成范畴,通过引入由范畴圆盘边界索引的同伦偏序集构建了类比纤维化长正合列的范畴结构,并证明了Postnikov塔在(,n)(\infty,n)-范畴中的收敛性及其在Postnikov完备(,)(\infty,\infty)-范畴子范畴中的极限刻画。

David Gepner, Hadrian Heine2026-03-11🔢 math