Forcing with random variables in bounded arithmetics and set theory

本文从集合论力迫法的视角分析了 Krajicek 在 bounded 算术中发展的布尔值随机力迫 BM,ΩB_{M,\Omega},证明了在特定非标准模型下该力迫代数同构于 $2^{\omega_1}$ 上的概率代数,并研究了其生成的扩展模型中“新整数”与“原模型整数”的序结构关系,从而为有界算术中的力迫法提供了一种基于集合论框架的替代性解释。

Radek Honzik2026-03-12🔢 math

Long-time dynamics of a bulk-surface convective Cahn--Hilliard system: Pullback attractors and convergence to equilibrium

本文研究了具有体面相互作用的对流 Cahn-Hilliard 系统的长期动力学,在缺乏单调能量泛函的挑战下,通过建立弱解的瞬时正则性证明了最小拉回吸引子的存在性,并利用 Lojasiewicz-Simon 不等式结合定制衰减估计,在速度场衰减条件下证明了所有解均收敛至单一稳态。

Patrik Knopf, Andrea Poiatti, Jonas Stange, Sema Yayla2026-03-12🔢 math