| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 合理超滤器的组合学 | Saharon Shelah | math/0407498 | math.LO | 2007-05-23 |
| 复杂性是不完整性的源泉吗？ | Cristian S. Calude, Helmut Juergensen | math/0408144 | math.LO | 2007-05-23 |
| 可计算枚举集的扩展定理、轨道和自同构 | Peter Cholak and Leo Harrington | math/0408279 | math.LO | 2007-05-23 |
| 不一致性的演算法 I：命题逻辑 | Dan Seabold, Stefan Waner and Steve Warner | math/0409034 | math.LO | 2007-05-23 |
| 参数化分层和D-半解析集的片数 | Y. Firat Celikler | math/0409095 | math.LO | 2007-05-23 |
| D-半解析集合在非阿基米德域上的维数理论和参数化标准化 | Y. Firat Celikler | math/0409109 | math.LO | 2007-05-23 |
| 覆盖一个波兰群所需的闭且无处稠密集合的平移数量 | Arnold W. Miller and Juris Steprans | math/0409110 | math.LO | 2007-05-23 |
| 算法的公理化理论：算法类别中的可计算性与可决定性 | Mark Burgin | math/0409142 | math.LO | 2007-05-23 |
| 钻石（在常规上）可以在任何强展可基数处失败。 | Joel David Hamkins (The City University of New York) and Mirna Dv{z}amonja (University of East Anglia) | math/0409304 | math.LO | 2007-05-23 |
| 扩展、省略类型和标准系统 | Fredrik Engstr"om | math/0410523 | math.LO | 2007-05-23 |
| 连续的Fraisse猜想 | Arnold Beckmann, Martin Goldstern, Norbert Preining | math/0411117 | math.LO | 2007-05-23 |
| 量子计算的动机下的量子逻辑 | J. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss, and Zhenghan Wang | math/0412144 | math.LO | 2007-05-23 |
| 分叉的几何在简单理论中 | Assaf Peretz | math/0412356 | math.LO | 2007-05-23 |
| 无反例解释与算术定理的规范化 | Denis Bonnay (PPS) | math/0501476 | math.LO | 2007-05-23 |
| 两个保存定理 | Jindrich Zapletal | math/0502047 | math.LO | 2007-05-23 |
| 图灵在序数上的计算 | Peter Koepke | math/0502264 | math.LO | 2007-05-23 |
| 序数集合理论 | Peter Koepke and Martin Koerwien | math/0502265 | math.LO | 2007-05-23 |
| 潜在理论与强迫 | Jindrich Zapletal | math/0502394 | math.LO | 2007-05-23 |
| 经典逻辑 = 纤维化MLL | Dominic Hughes | math/0504028 | math.LO | 2007-05-23 |
| 无穷循环群的超滤器和部分积 | Andreas Blass and Saharon Shelah | math/0504199 | math.LO | 2007-05-23 |
| 关于正则化缩减乘积的进一步研究 | Juliette Kennedy and Saharon Shelah | math/0504200 | math.LO | 2007-05-23 |
| 关于“空集限制在某个A上的理想是kappa-完备而不是kappa^+-完备，kappa弱不可及且cov(稀疏)=aleph_1”的一致性 | Saharon Shelah | math/0504201 | math.LO | 2007-05-23 |
| 渐近概率一组上的停机问题是可判定的 | Joel David Hamkins (The City University of New York) and Alexei Miasnikov (The City University of New York) | math/0504351 | math.LO | 2007-05-23 |
| 逻辑与偏序交换群 | David J. Foulis | math/0504553 | math.LO | 2007-05-23 |
| 混合多元主义 | Andrew Aberdein | math/0505034 | math.LO | 2007-05-23 |