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

On a fractional nonlinear Schrödinger equation with irregular coefficients. case: d<2s

本文研究了在空间维度小于两倍分数阶拉普拉斯算子幂次(d<2sd<2s)且系数不规则的情况下,分数阶非线性薛定谔方程的适定性问题,通过引入“极弱解”概念证明了其存在性、唯一性及与经典解的相容性,并辅以数值实验,首次建立了非线性偏微分方程极弱解适定性的理论框架。

Arshyn Altyby, Michael Ruzhansky, Mohammed Elamine Sebih, Niyaz Tokmagambetov2026-03-11🔢 math