逻辑

2025年06月 的作者和标题

[1] arXiv:2506.00443 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 可定义的几乎实闭域秩 显示英文标题

标题： Definable ranks of almost real closed fields

Lothar Sebastian Krapp, Salma Kuhlmann, Lasse Vogel

评论： 16页

主题： 逻辑 (math.LO) ; 交换代数 (math.AC)

[2] arXiv:2506.01028 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 当双解释性意味着同义性时 显示英文标题

标题： When Bi-interpretability implies Synonymy

Harvey M. Friedman, Albert Visser

评论： 这篇预印本是之前一篇预印本的改进版本，后者发表于乌得勒支大学逻辑学小组预印本系列第320号，2014年。

主题： 逻辑 (math.LO)

[3] arXiv:2506.01711 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 关于非良基证明的余代数证明翻译 显示英文标题

标题： Coalgebraic proof translations for non-wellfounded proofs

Borja Sierra Miranda, Thomas Studer, Lukas Zenger

期刊参考： 模态逻辑进展15（2024）527-548

主题： 逻辑 (math.LO)

[4] arXiv:2506.02029 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 量子力学的公理在连续模型理论下的视角 显示英文标题

标题： Axioms of Quantum Mechanics in light of Continuous Model Theory

Boris Zilber

主题： 逻辑 (math.LO) ; 量子物理 (quant-ph)

[5] arXiv:2506.02031 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 强测度零的有效版本 显示英文标题

标题： Effective Versions of Strong Measure Zero

Matthew Rayman

主题： 逻辑 (math.LO) ; 计算复杂性 (cs.CC)

[6] arXiv:2506.03204 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 关于余数的一阶理论 显示英文标题

标题： On the first-order theory of the remainder

Mihai Prunescu

评论： 两页

主题： 逻辑 (math.LO)

[7] arXiv:2506.03572 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 可扩展基数，以及关于可扩展性的Laver-泛大基数公理 显示英文标题

标题： Extendible cardinals, and Laver-generic large cardinal axioms for extendibility

Sakaé Fuchino

主题： 逻辑 (math.LO)

[8] arXiv:2506.04692 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 非标准方法用于超滤器关系扩展 显示英文标题

标题： Nonstandard methods for ultrafilter relation extensions

Leonardo Raffaello Maximilian Gasparro, Lorenzo Luperi Baglini

主题： 逻辑 (math.LO)

[9] arXiv:2506.05067 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： Aurellion 函数：一种超越康托尔记号的递归快速增长层次结构 显示英文标题

标题： The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation

Daniel Vodrazka (Independent theorist)

评论： 6页，0张图表。v1，2025年6月5日。关键词：大数、快速增长函数、证明论、可计算性、Knuth表示法、序数分析、皮亚诺算术

主题： 逻辑 (math.LO)

[10] arXiv:2506.06187 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 可计算的随机化表示 显示英文标题

标题： Computable presentations of randomizations

Nicolás Cuervo Ovalle, Isaac Goldbring

评论： 24页；初稿；欢迎评论！

主题： 逻辑 (math.LO)

[11] arXiv:2506.06878 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 一种强非饱和的Aronszajn树而没有弱Kurepa树 显示英文标题

标题： A Strongly Non-Saturated Aronszajn Tree Without Weak Kurepa Trees

John Krueger, Šárka Stejskalová

评论： 文章已与一个独立但相关的项目合并

主题： 逻辑 (math.LO)

[12] arXiv:2506.08217 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 关于理想主义等价关系的结构结果 显示英文标题

标题： Structural results on idealistic equivalence relations

Filippo Calderoni, Luca Motto Ros

评论： 26页

主题： 逻辑 (math.LO)

[13] arXiv:2506.08256 (交叉列表自 math.LO) [中文pdf, pdf, 其他]

标题： 广义的 Schatunowsky 定理在弱算术中的应用 显示英文标题

标题： Generalized Schatunowsky theorem in a weak arithmetic

Hala King, Victor Pambuccian

主题： 逻辑 (math.LO)

[14] arXiv:2506.08271 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 函数型单态正交格与局部有限的不含$σ$的多元正交格 显示英文标题

标题： Functional monadic ortholattices and locally finite $σ$-free polyadic ortholattices

Chun-Yu Lin, Joseph McDonald

主题： 逻辑 (math.LO)

[15] arXiv:2506.08287 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 完全归一化对于$κ^+$-超紧致性 显示英文标题

标题： Full normalization for $κ^+$-supercompactness

Farmer Schlutzenberg

评论： 24页

主题： 逻辑 (math.LO)

[16] arXiv:2506.08733 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 论良态、可测性与独立性性质 显示英文标题

标题： On Tameness, Measurability and the Independence Property

Lothar Sebastian Krapp, Matthieu Vermeil, Laura Wirth

评论： 19页

主题： 逻辑 (math.LO)

[17] arXiv:2506.08901 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 一个理论的有效性集合的复杂性 显示英文标题

标题： The Complexity of the Set of Validities of a Theory

Denis Hirschfeldt, Henry Towsner, Scott Weinstein

主题： 逻辑 (math.LO)

[18] arXiv:2506.10893 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 关于埃弗雷特·J. 尼尔森的关联逻辑的思考 显示英文标题

标题： Considerations on Everett J. Nelson's connexive logic

Davide Fazio, Raffaele Mascella

主题： 逻辑 (math.LO)

[19] arXiv:2506.11118 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 关于有效的巴拿赫-马祖尔博弈及其在庞加莱递归定理（范畴）中的应用 显示英文标题

标题： On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category

Prajval Koul, Satyadev Nandakumar

主题： 逻辑 (math.LO) ; 计算机科学中的逻辑 (cs.LO) ; 动力系统 (math.DS)

[20] arXiv:2506.11364 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 有限广义有序类型中的同构子类型 显示英文标题

标题： Isomorphic Subtypes in a Finite Generalized Ordered Type

Jean S. Joseph

主题： 逻辑 (math.LO)

[21] arXiv:2506.11607 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 偏心性，可扩展的选择与递降分布强迫 显示英文标题

标题： Eccentricity, extendable choice and descending distributive forcing

Calliope Ryan-Smith

评论： 41页

主题： 逻辑 (math.LO)

[22] arXiv:2506.12393 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 具有大连续统、全局$Σ$-一致化和实数投影良序的宇宙 显示英文标题

标题： A Universe with large Continuum, global $Σ$-Uniformization and a projective Well-Order of its Reals

Stefan Hoffelner

主题： 逻辑 (math.LO)

[23] arXiv:2506.12458 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 变量的替换在量化和排列上是有限公理化的 显示英文标题

标题： Substitutions of variables are finitely axiomatizable over quantifications and permutations

Hajnal Andréka, Zalán Gyenis, István Németi

主题： 逻辑 (math.LO)

[24] arXiv:2506.13524 (交叉列表自 math.LO) [中文pdf, pdf, 其他]

标题： 外延独立性 显示英文标题

标题： Extensional Independence

Taishi Kurahashi, Albert Visser

评论： 这篇预印本扩展并取代了较早的ArXiv预印本[2502.09109]《关于Hamkins的一个问题》 by Albert Visser

主题： 逻辑 (math.LO)

[25] arXiv:2506.13673 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 坐标识别：一般理论、群及其他惊喜 显示英文标题

标题： Coordinate recognition: General theory, Groups, and other surprises

I. Farah, K. Gannon, P. Touchard

评论： 64页

主题： 逻辑 (math.LO) ; 群论 (math.GR)

[26] arXiv:2506.13742 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 关于具有有限群作用的赋值域的一个注记 显示英文标题

标题： A note on valued fields with finite group actions

Piotr Błaszkiewicz, Jakub Gogolok

主题： 逻辑 (math.LO) ; 交换代数 (math.AC)

[27] arXiv:2506.14183 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 非消失的高阶导出极限 without $w\diamondsuit_{ω_1}$ 显示英文标题

标题： Nonvanishing Higher Derived Limits without $w\diamondsuit_{ω_1}$

Nathaniel Bannister

评论： 16页

主题： 逻辑 (math.LO)

[28] arXiv:2506.14185 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 你需要的只有$\mathbf{A}_κ$ 显示英文标题

标题： All you need is $\mathbf{A}_κ$

Nathaniel Bannister

评论： 7页

主题： 逻辑 (math.LO)

[29] arXiv:2506.14838 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 实数域的扩张类及其拓扑性质 显示英文标题

标题： Class of extensions of real field and their topological properties

E.V. Alexandrov

主题： 逻辑 (math.LO) ; 泛函分析 (math.FA)

[30] arXiv:2506.15119 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 在最小结构中标量函数的可定义性 显示英文标题

标题： Definability of complex functions in o-minimal structures

Adele Padgett, Patrick Speissegger

评论： 20页，6幅图

主题： 逻辑 (math.LO)

[31] arXiv:2506.15308 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： Sacks模型中的$Σ^1_3$集合 显示英文标题

标题： $Σ^1_3$ sets in the Sacks model

Jonathan Schilhan

评论： 16页

主题： 逻辑 (math.LO)

[32] arXiv:2506.15367 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 团队语义中的强一阶析取嵌入依赖项 显示英文标题

标题： Strongly First Order Disjunctive Embedded Dependencies in Team Semantics

Pietro Galliani

主题： 逻辑 (math.LO)

[33] arXiv:2506.16366 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 钻石与多米诺骨牌：关联模态逻辑的不可能性结果 显示英文标题

标题： Diamonds and Dominoes: Impossibility Results for Associative Modal Logics

Søren Brinck Knudstorp

评论： 26页

主题： 逻辑 (math.LO)

[34] arXiv:2506.16433 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 共归纳的良基性 显示英文标题

标题： Coinductive well-foundedness

Iosif Petrakis

评论： 16页

主题： 逻辑 (math.LO)

[35] arXiv:2506.16491 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 修改证明的证明，1/2 显示英文标题

标题： Proofs that Modify Proofs, 1/2

Henry Towsner

主题： 逻辑 (math.LO) ; 计算机科学中的逻辑 (cs.LO)

[36] arXiv:2506.17943 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 有限组合数学与算术的片段 显示英文标题

标题： Finite Combinatorics and Fragments of Arithmetic

Wei Wang

主题： 逻辑 (math.LO)

[37] arXiv:2506.17982 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 射影长度，幻象扩张，以及平坦模的结构 显示英文标题

标题： Projective length, phantom extensions, and the structure of flat modules

Matteo Casarosa, Martino Lupini

评论： 97页

主题： 逻辑 (math.LO) ; 交换代数 (math.AC) ; 代数拓扑 (math.AT) ; 范畴论 (math.CT) ; K理论与同调 (math.KT)

[38] arXiv:2506.19147 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 在小大基数上从高元稳定性概念中提取不可区分性 显示英文标题

标题： Indiscernible extraction at small large cardinals from a higher-arity stability notion

James E. Hanson

评论： 16页，2图

主题： 逻辑 (math.LO)

[39] arXiv:2506.19489 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 带有李对换和迭代算子的域 显示英文标题

标题： Fields with Lie-commuting and iterative operators

Jan Dobrowolski, Omar Leon Sanchez

主题： 逻辑 (math.LO)

[40] arXiv:2506.20120 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 全局赋值体的逻辑 显示英文标题

标题： La logique continue des corps globalement valués

Antoine Chambert-Loir

评论： 布尔巴基研讨会，第77年，2024/25。法语

主题： 逻辑 (math.LO) ; 代数几何 (math.AG)

[41] arXiv:2506.20620 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 迭代跳跃不可计算性与紧致性 显示英文标题

标题： Iterated jump noncomputability and compactness

Gavin Dooley

评论： 14页，2个图。欢迎反馈。修正了定理4.6的证明中的拼写错误，并改进了定理3.1的陈述。

主题： 逻辑 (math.LO)

[42] arXiv:2506.20874 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 关于高于$\mathrm{S4}\times \mathrm{S4}$的预局部有限性 显示英文标题

标题： On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$

Ilya B. Shapirovsky, Vladislav V. Sliusarev

主题： 逻辑 (math.LO)

[43] arXiv:2506.21059 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 分裂族，收割族，以及与渐近密度相关的排列族 显示英文标题

标题： Splitting Families, Reaping Families, and Families of Permutations Associated with Asymptotic Density

David Valderrama

主题： 逻辑 (math.LO)

[44] arXiv:2506.21114 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 树和公式的多项式指纹识别 显示英文标题

标题： Polynomial fingerprinting for trees and formulas

Mihai Prunescu

主题： 逻辑 (math.LO)

[45] arXiv:2506.21653 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 累积宇宙层的存在的定理及其应用 显示英文标题

标题： Existence Theorem for Cumulative Universe Towers and Its Applications

Higuchi Joaquim Reizi

评论： 15页

主题： 逻辑 (math.LO) ; 范畴论 (math.CT)

[46] arXiv:2506.21778 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 一个具有$Δ^1_n$-定义的实数良序，$\mathsf{CH}$和$Π^1_n$-统一性 显示英文标题

标题： A Universe with a $Δ^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $Π^1_n$-Uniformization

Stefan Hoffelner

主题： 逻辑 (math.LO)

[47] arXiv:2506.21846 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： d-极小结构中的连通分支 显示英文标题

标题： Connected components in d-minimal structures

Masato Fujita

主题： 逻辑 (math.LO)

[48] arXiv:2506.22326 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 论经典逻辑的证明论语义中的皮亚诺算术的一致性 显示英文标题

标题： On the Consistency of Peano Arithmetic in a Proof-theoretic Semantics for Classical Logic

Alexander V. Gheorghiu

主题： 逻辑 (math.LO)

[49] arXiv:2506.22348 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 关于半经典前束归约的分层公式类 显示英文标题

标题： Hierarchical formula classes with respect to semi-classical prenex normalization

Makoto Fujiwara, Taishi Kurahashi

评论： 29页

主题： 逻辑 (math.LO)

[50] arXiv:2506.23265 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 外部定义的fsg群在NIP理论中 显示英文标题

标题： Externally definable fsg groups in NIP theories

Artem Chernikov

评论： 72页，2图

主题： 逻辑 (math.LO) ; 群论 (math.GR)