Logic

Authors and titles for recent submissions

• Tue, 30 Sep 2025
• Mon, 29 Sep 2025
• Fri, 26 Sep 2025
• Thu, 25 Sep 2025
• Wed, 24 Sep 2025

See today's new changes

Tue, 30 Sep 2025 (showing 4 of 4 entries )

[1] arXiv:2509.25005 (cross-list from math.LO) [cn-pdf, pdf, other]

Title: Homogeneous Linear Orderings: Index sets, Approximations and Categoricity Show Chinese title

Title: 齐次线性序：指标集、近似和范畴性

Wesley Calvert, Douglas Cenzer, David Gonzalez, Valentina Harizanov, Keng Meng Ng

Comments: 45 pages

Subjects: Logic (math.LO)

[2] arXiv:2509.24744 (cross-list from math.LO) [cn-pdf, pdf, html, other]

Title: Cofinal families of finite VC-dimension Show Chinese title

Title: 共尾的有限 VC 维族

Omer Ben-Neria, Itay Kaplan, George Peterzil

Comments: 16 pages, comments welcome!

Subjects: Logic (math.LO) ; Combinatorics (math.CO)

[3] arXiv:2509.24596 (cross-list from math.LO) [cn-pdf, pdf, html, other]

Title: The Complexity of Arc-Connectedness Relation in the Plane Show Chinese title

Title: 平面中弧连通关系的复杂性

Yusuf Uyar

Subjects: Logic (math.LO)

[4] arXiv:2509.24343 (cross-list from math.DS) [cn-pdf, pdf, html, other]

Title: Parametrized complexity of relations between multidimensional subshifts Show Chinese title

Title: 关系在多维子移位之间的参数化复杂性

Nicanor Carrasco-Vargas, Benjamin Hellouin de Menibus, Rémi Pallen

Comments: 19 pages

Subjects: Dynamical Systems (math.DS) ; Information Theory (cs.IT) ; Logic (math.LO)

Mon, 29 Sep 2025 (showing 4 of 4 entries )

[5] arXiv:2509.22406 (cross-list from math.LO) [cn-pdf, pdf, html, other]

Title: Strong Kurtz Randomness and Binary Expansions of Reordered Computable Numbers Show Chinese title

Title: 强Kurtz随机性与重排可计算数的二进制展开

Peter Hertling, Philip Janicki

Subjects: Logic (math.LO)

[6] arXiv:2509.22374 (cross-list from math.LO) [cn-pdf, pdf, html, other]

Title: Decomposing the Automorphism group of the surreal numbers Show Chinese title

Title: 超实数自同构群的分解

Elliot Kaplan, Lothar Sebastian Krapp, Michele Serra

Comments: 11 pages

Subjects: Logic (math.LO) ; Commutative Algebra (math.AC)

[7] arXiv:2509.21876 (cross-list from math.LO) [cn-pdf, pdf, html, other]

Title: Kinds of preservations for properties Show Chinese title

Title: 性质的保全类型

Temurboy E. Rajabov, Sergey V. Sudoplatov

Subjects: Logic (math.LO)

[8] arXiv:2509.22376 (cross-list from math.FA) [cn-pdf, pdf, html, other]

Title: Almost disjoint families and some automorphic and injective properties of $\ell_\infty/c_0$ Show Chinese title

Title: 几乎不相交族以及$\ell_\infty/c_0$的一些自同构和单射性质

Piotr Koszmider, Małgorzata Rojek

Subjects: Functional Analysis (math.FA) ; Logic (math.LO)

Fri, 26 Sep 2025 (showing 3 of 3 entries )

[9] arXiv:2509.20633 (cross-list from math.LO) [cn-pdf, pdf, html, other]

Title: Affine Hulls and Simplices: a Constructive Analysis Show Chinese title

Title: 仿射包和单形：一种构造性分析

Douglas S. Bridges

Subjects: Logic (math.LO)

[10] arXiv:2509.20980 (cross-list from math.OA) [cn-pdf, pdf, html, other]

Title: A new characterization of (pre)liminary C*-algebras Show Chinese title

Title: 一个（预）初步C*-代数的新特征

Martino Lupini

Comments: 15 pages

Subjects: Operator Algebras (math.OA) ; Functional Analysis (math.FA) ; General Topology (math.GN) ; Logic (math.LO)

[11] arXiv:2509.20404 (cross-list from stat.ML) [cn-pdf, pdf, other]

Title: Sample completion, structured correlation, and Netflix problems Show Chinese title

Title: 示例完成，结构化相关性，以及Netflix问题

Leonardo N. Coregliano, Maryanthe Malliaris

Comments: 97 pages, 1 figure

Subjects: Machine Learning (stat.ML) ; Machine Learning (cs.LG) ; Logic (math.LO) ; Statistics Theory (math.ST)

Thu, 25 Sep 2025 (showing 5 of 5 entries )

[12] arXiv:2509.20266 (cross-list from math.LO) [cn-pdf, pdf, html, other]

Title: Effective bases and notions of effective second countability in computable analysis Show Chinese title

Title: 有效基与可计算分析中的有效第二可数性概念

Vasco Brattka, Emmanuel Rauzy

Comments: 29 pages. Extended version of "Effective Second Countability in Computable Analysis", CiE 2025

Subjects: Logic (math.LO) ; Logic in Computer Science (cs.LO)

[13] arXiv:2509.19519 (cross-list from math.LO) [cn-pdf, pdf, html, other]

Title: Property B: A Baumgartner-style Property that Applies to Preservation of $\aleph_1$ and $\aleph_2$ under Iterations with Supports of Size $\aleph_1$ Show Chinese title

Title: 属性 B：一种巴姆加特纳风格的性质，适用于在支撑大小为$\aleph_1$的迭代中保持$\aleph_1$和$\aleph_2$的性质

Mirna Džamonja

Comments: A version submitted for publication

Subjects: Logic (math.LO)

[14] arXiv:2509.19373 (cross-list from math.LO) [cn-pdf, pdf, html, other]

Title: Properties of Selector Proofs Show Chinese title

Title: 选择证明的性质

Elijah Gadsby

Comments: 18 pages

Subjects: Logic (math.LO)

[15] arXiv:2509.20121 (cross-list from math.RA) [cn-pdf, pdf, html, other]

Title: Automorphism groups of Boolean powers with ample generics Show Chinese title

Title: 布尔幂的自同构群与丰富的泛性

Peter Mayr, Nik Ruškuc

Subjects: Rings and Algebras (math.RA) ; Group Theory (math.GR) ; Logic (math.LO)

[16] arXiv:2509.19998 (cross-list from math.GR) [cn-pdf, pdf, html, other]

Title: Conjugacy problem in T-RAAGs Show Chinese title

Title: T-RAAGs中的共轭问题

Gemma Crowe, Islam Foniqi

Subjects: Group Theory (math.GR) ; Combinatorics (math.CO) ; Logic (math.LO)

Wed, 24 Sep 2025 (showing 3 of 3 entries )

[17] arXiv:2509.18991 (cross-list from math.LO) [cn-pdf, pdf, html, other]

Title: A Solovay-like model at $\aleph_ω$ Show Chinese title

Title: 一个类似于Solovay的模型在$\aleph_ω$

Alejandro Poveda, Sebastiano Thei

Subjects: Logic (math.LO)

[18] arXiv:2509.18848 (cross-list from math.LO) [cn-pdf, pdf, html, other]

Title: Development Processes Show Chinese title

Title: 开发过程

Paul Gorbow

Subjects: Logic (math.LO)

[19] arXiv:2509.18680 (cross-list from math.GN) [cn-pdf, pdf, other]

Title: Continuous colorings on compact spaces Show Chinese title

Title: 紧致空间上的连续着色

Noé de Rancourt (LPP), Dominique Lecomte (IMJ-PRG (UMR\_7586)), Miroslav Zelen

Subjects: General Topology (math.GN) ; Logic (math.LO)