加载中 . . .
中文标题 作者 论文ID 分类简称 发布时间
时钟的力量 Antti Kuusisto 2201.08353 math.LO 2023-04-14
可代数化的弱逻辑 Georgi Nakov, Davide Emilio Quadrellaro 2210.06047 math.LO 2023-04-12
有限结构上性质的渐近典型程度 Athanassios Tzouvaras 2303.10711 math.LO 2023-04-12
正则Rudin-Frolik序列中的链 Joanna Jureczko 2304.00097 math.LO 2023-04-12
关于正则 Rudin-Frolik 集合的一个注记 Joanna Jureczko 2304.02143 math.LO 2023-04-12
$2^\kappa$上的强度测零集对于不可达的$\kappa$ Nick Steven Chapman and Johannes Philipp Sch"urz 1908.10718 math.LO 2023-04-11
FGH定理的一些观察 Taishi Kurahashi 2110.14872 math.LO 2023-04-11
有效的不可分性及其在元数学中的一些应用 Yong Cheng 2210.17333 math.LO 2023-04-11
$Pi^{1}\_{1}$-反射的良基证明 Toshiyasu Arai 2304.03851 math.LO 2023-04-11
与大连续一致的通用绝对性原理 Mohammad Golshani 2304.03953 math.LO 2023-04-11
稳定的框架和权重 Saharon Shelah 2304.04467 math.LO 2023-04-11
滤波器、理想独立性和理想Mr''owka空间 Serhii Bardyla and Jonathan Cancino-Manr''iquez and Vera Fischer and Corey Bacal Switzer 2304.04651 math.LO 2023-04-11
团队语义中的维度 Lauri Hella, Kerkko Luosto, Jouko V"a"an"anen 2304.03354 math.LO 2023-04-10
结构的内聚力 Valentina Harizanov, Keshav Srinivasan 2304.03371 math.LO 2023-04-10
关于相对计算范畴性的程度的注解 I. Sh. Kalimullin 2207.08316 math.LO 2023-04-07
关于NIP群中的f-通用类型 Atticus Stonestrom 2303.13470 math.LO 2023-04-07
弱良序与Fra"isse猜想 Anton Freund, Davide Manca 2304.03021 math.LO 2023-04-07
谢拉的PCF算子的无限积累 Mohammad Golshani 2205.10709 math.LO 2023-04-06
窄系统再探讨 Chris Lambie-Hanson 2304.02132 math.LO 2023-04-06
布尔代数的最简公理化 Eugene Zhang 2304.02224 math.LO 2023-04-06
接地运算符:传递性和树,逻辑性与平衡 Francesco A. Genco 2304.02596 math.LO 2023-04-06
古代自然推理 Clarence Lewis Protin 2209.03388 math.LO 2023-04-05
在正则情况下,Rudin-Frolík序中没有下界的递减链 Joanna Jureczko 2304.01398 math.LO 2023-04-05
由吸收算子生成的非线性半群的证明论理元定理及应用 Nicholas Pischke 2304.01723 math.LO 2023-04-05
单调模态逻辑的算术完备性定理 Haruka Kogure and Taishi Kurahashi 2208.03555 math.LO 2023-04-04