Fodor space in generalized descriptive set theory
该论文研究了广义描述集合论中空间内回归函数空间上的同构关系连续可约性,证明了对于不可达基数,若理论在大小下具有少于个互不同构的模型,而是不稳定或超稳定但不可分类的理论,则的模型同构关系可连续归约于的模型同构关系。
2396 篇论文
该论文研究了广义描述集合论中空间内回归函数空间上的同构关系连续可约性,证明了对于不可达基数,若理论在大小下具有少于个互不同构的模型,而是不稳定或超稳定但不可分类的理论,则的模型同构关系可连续归约于的模型同构关系。
本文针对由树自动机群生成的施莱尔图,推导出了直径、完美匹配数、Tutte 多项式等精确公式,并据此进一步给出了生成树、生成森林及色多项式的显式表达,同时计算了任意树图自动机的 Wiener 和 Szeged 指数。
该论文建立了二维粘性哈密顿 - 雅可比方程的定量 正则性估计,并据此证明了具有任意幂次耦合的二维定常二阶平均场博弈系统经典解的存在性,同时综述了相关领域的已知成果并列举了若干开放问题。
本文基于系数域(tract)上的向量与线性子空间概念,建立了 T-拟阵的平坦与超平面排列理论,并给出了其在 T-平坦格、T-超平面排列、T-射影空间点线排列及 T-箭图表示下的多种等价刻画,同时以热带线性空间为例进行了阐释。
该论文证明了对于所有 ,每个最小度至少为 且围长至少为 $10^8K_{k+1}$ 的诱导细分,从而解决了 Kühn 和 Osthus 提出的一个由 Shi 最初提出的问题。
该论文提出了一种统一的原对偶近端(UPP)框架,通过线性化增广拉格朗日函数并引入时变近端项,将多种分布式非凸优化方法统一起来,并证明了其子线性收敛性以及在特定条件下的线性收敛性,同时通过结合切比雪夫加速实现了最优通信复杂度。
本文提出了一种基于优化和伴随方法的单向热 - 力耦合系统识别框架,通过单块或分区策略同时反演结构刚度损伤与温度场分布,显著提升了在传感器稀疏或局部热特征未被充分采样情况下的损伤定位与温度重构精度。
本文给出了 型杨氏代数和 型量子仿射代数中修改后的 Drinfeld-Cartan 生成级数的显式余乘公式,并作为辅助结果给出了 型量子仿射代数正预基本表示的显式描述。
本文引入了由满足克利福德型关系的三个广义复结构定义的秩-3 广义克利福德流形,证明了其诱导广义四元结构并构造了相应的扭量空间,且该空间上的几乎广义复结构在广义尼延huis 张量意义下是可积的。
该论文提出了一种结合交替方向乘子法(ADMM)与双层下降聚合(BDA)的新算法,用于解决稀疏超参数选择问题,其核心贡献在于通过放宽对下层解唯一性的假设,实现了在更宽松条件下的全局收敛,并在数值实验中展现出优于现有方法的性能。
本文证明了 (奇洞、锤子、)-无图是完全可分的,并给出了若干短洞无图在特定子图限制下的色数上界。
本文通过引入主题敏感语义,论证了无知作为一种超内涵概念能够区分逻辑等价命题,并在此基础上为三种不同形式的无知构建了完备的逻辑系统,从而有效解决了逻辑全知难题并弥合了标准关系模型与人类对内容把握直觉之间的鸿沟。
本文通过改进 Kharaghani 和 Seberry 的基本块构造法,利用计算机辅助方法发现特定的 47 阶循环矩阵,首次成功构造出了 94 阶复 Hadamard 矩阵。
本文研究了阶为 ( 为不同素数)的循环群上的双凯莱图,阐明了其连通性、正则性、围长为 3 及直径为 5 等关键组合性质,并将部分结论推广至满足特定连接集条件的任意有限群情形。
该论文提出了一种在某种意义上与未来覆盖具有同等规范性的扩展未来覆盖,并探讨了其在某些情况下与原始未来覆盖同构或在其他情况下构成真正扩展的性质。
本文在温度依赖粘度和耦合项条件下,证明了多维开尔文 - 沃伊特型热粘弹性系统中任意大初值全局弱解的存在性,从而将一维结果推广至多维情形且无需数据小性假设。
本文在反德西特三维空间与 -共形度量的对应框架下,定义了 -体积、Epstein 曲面和 Liouville 作用量的类比,并将其应用于具有正结构的旗流形中的正曲线,从而获得了在分段圆情形下有限的曲线不变量。
本文研究了非线性三维热弹性耦合系统,通过引入近似问题、利用 Moser 迭代技术建立温度一致有界性并结合 Fisher 信息泛函处理高阶导数估计,严格证明了正温度解的全局适定性及其随时间渐近收敛至由能量守恒决定的均匀温度平衡态。
本文旨在通过计算伪线图与伪圈图的魔术标号数 及其生成函数,将 Bóna 等人的早期研究推广至这两类图,从而在斯坦利定理的基础上解决其具体形式的确定难题。
该论文通过在凝聚 anima 的 -拓扑斯上构造 Lurie 意义上的破碎结构,不仅揭示了凝聚 anima 的显式联合保守点集,还通过证明极不连通空间范畴不具备所有纤维(从而回答了 Clausen 的问题)排除了其他破碎结构候选。