Logic

Authors and titles for September 2024

[51] arXiv:2409.13134 [pdf, html, other]

Title: Characterizing Borel Isomorphism Among Some Weakly Minimal Trivial Theories

Danielle Ulrich

Subjects: Logic (math.LO)

[52] arXiv:2409.14211 [pdf, html, other]

Title: Permutation Models of Second Order

Christine Gaßner

Comments: 20 pages. arXiv admin note: text overlap with arXiv:2409.10276

Subjects: Logic (math.LO)

[53] arXiv:2409.14467 [pdf, html, other]

Title: Nonstandard polynomials: algebraic properties and elementary equivalence

Alexei Myasnikov, Andrey Nikolaev

Comments: 45 pages

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

[54] arXiv:2409.14998 [pdf, html, other]

Title: Local Tabularity is Decidable for Bi-Intermediate Logics of Trees and of Co-Trees

Miguel Martins, Tommaso Moraschini

Subjects: Logic (math.LO)

[55] arXiv:2409.15257 [pdf, html, other]

Title: Generalized Epstein semantics for Parry systems

Nicolò Zamperlin

Subjects: Logic (math.LO)

[56] arXiv:2409.16251 [pdf, other]

Title: Hyperseries subfields of surreal numbers

Vincent Bagayoko

Comments: 31 pages

Subjects: Logic (math.LO)

[57] arXiv:2409.16393 [pdf, other]

Title: Forking in valued fields and related structures

Akash Hossain

Comments: PhD thesis. 244 pages, 24 figures, comments welcome. arXiv admin note: text overlap with arXiv:2312.12279

Subjects: Logic (math.LO)

[58] arXiv:2409.16445 [pdf, html, other]

Title: Hyper-hyperfiniteness and complexity

Joshua Frisch, Forte Shinko, Zoltan Vidnyanszky

Subjects: Logic (math.LO)

[59] arXiv:2409.17018 [pdf, html, other]

Title: Analogues of the countable Borel equivalence relations in the setting of computable reducibility

Uri Andrews, Luca San Mauro

Comments: Accepted for publication in the Proceedings of the American Mathematical Society

Subjects: Logic (math.LO)

[60] arXiv:2409.18089 [pdf, html, other]

Title: Some contributions to sheaf model theory

Andreas Brunner, Charles Morgan, Darllan Pinto

Subjects: Logic (math.LO)

[61] arXiv:2409.18831 [pdf, other]

Title: Effective subfactor theory

Alec Fox, Isaac Goldbring

Comments: 20 pages; first draft; comments welcome!

Subjects: Logic (math.LO); Operator Algebras (math.OA)

[62] arXiv:2409.18834 [pdf, other]

Title: Computably strongly self-absorbing C*-algebras

Isaac Goldbring

Comments: 16 pages; first draft; comments welcome!

Subjects: Logic (math.LO); Operator Algebras (math.OA)

[63] arXiv:2409.18845 [pdf, html, other]

Title: Diophantine Maps

A. Eggink

Comments: 25 pages, 0 figures

Subjects: Logic (math.LO); Number Theory (math.NT)

[64] arXiv:2409.19229 [pdf, html, other]

Title: Countable Ordered Groups and Weihrauch Reducibility

Ang Li

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

[65] arXiv:2409.19236 [pdf, html, other]

Title: A Walk on the Wild Side: Notions of maximality in first-order theories

Michele Bailetti

Subjects: Logic (math.LO)

[66] arXiv:2409.20170 [pdf, html, other]

Title: Superabelian logics

Petr Cintula, Filip Jankovec, Carles Noguera

Subjects: Logic (math.LO)

[67] arXiv:2409.20295 [pdf, html, other]

Title: Model Theory of Local Real Closed SV-Rings of Finite Rank

Ricardo Palomino Piepenborn

Comments: 42 pages

Subjects: Logic (math.LO); Commutative Algebra (math.AC); Rings and Algebras (math.RA)

[68] arXiv:2409.20518 [pdf, html, other]

Title: Omission of Intervals: Deducing covering properties of subsets of the real line from their combinatorial structure

Boaz Tsaban

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

[69] arXiv:2409.01863 (cross-list from math.CA) [pdf, html, other]

Title: Internality of autonomous algebraic differential equations

Christine Eagles, Léo Jimenez

Comments: 30 pages

Subjects: Classical Analysis and ODEs (math.CA); Logic (math.LO)

[70] arXiv:2409.02488 (cross-list from math.AC) [pdf, html, other]

Title: Cardinality of groups and rings via the idempotency of infinite cardinals

Abolfazl Tarizadeh

Comments: 9 pages

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

[71] arXiv:2409.02603 (cross-list from cs.LO) [pdf, other]

Title: Formalising Inductive and Coinductive Containers

Stefania Damato, Thorsten Altenkirch, Axel Ljungström

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

[72] arXiv:2409.02781 (cross-list from math.DS) [pdf, html, other]

Title: Uncountable Hyperfiniteness and The Random Ratio Ergodic Theorem

Nachi Avraham-Re'em, George Peterzil

Comments: 25 pages

Subjects: Dynamical Systems (math.DS); Logic (math.LO)

[73] arXiv:2409.07280 (cross-list from math.GN) [pdf, html, other]

Title: Schur ultrafilters and Bohr compactifications of topological groups

Serhii Bardyla, Pavol Zlatoš

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

[74] arXiv:2409.10237 (cross-list from math.CT) [pdf, other]

Title: Directed equality with dinaturality

Andrea Laretto, Fosco Loregian, Niccolò Veltri

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

[75] arXiv:2409.11231 (cross-list from math.CT) [pdf, other]

Title: Positively closed $Sh(B)$-valued models

Kristóf Kanalas

Subjects: Category Theory (math.CT); Logic (math.LO)

[76] arXiv:2409.11566 (cross-list from cs.LO) [pdf, html, other]

Title: Denotational semantics driven simplicial homology?

Davide Barbarossa

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

[77] arXiv:2409.12860 (cross-list from math.CV) [pdf, html, other]

Title: Exponential sums equations and the Exponential Closedness conjecture

Vahagn Aslanyan, Francesco Gallinaro

Comments: v2: Minor changes to the presentation

Subjects: Complex Variables (math.CV); Logic (math.LO)

[78] arXiv:2409.12867 (cross-list from math.CV) [pdf, html, other]

Title: Complex solutions of polynomial equations on the unit circle

Vahagn Aslanyan

Subjects: Complex Variables (math.CV); Logic (math.LO); Number Theory (math.NT)

[79] arXiv:2409.14525 (cross-list from math.GR) [pdf, html, other]

Title: Snakes can be fooled into thinking they live in a tree

Laurent Bartholdi, Ville Salo

Subjects: Group Theory (math.GR); Logic in Computer Science (cs.LO); Dynamical Systems (math.DS); Logic (math.LO)

[80] arXiv:2409.14635 (cross-list from cs.GT) [pdf, html, other]

Title: Completeness of coalition logics with seriality, independence of agents, or determinism

Yinfeng Li, Fengkui Ju

Subjects: Computer Science and Game Theory (cs.GT); Logic (math.LO)

[81] arXiv:2409.14854 (cross-list from math.GR) [pdf, other]

Title: Equations over valued groups

Vincent Bagayoko

Comments: 40 pages

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

[82] arXiv:2409.14901 (cross-list from cs.LO) [pdf, html, other]

Title: Syntax and semantics of multi-adjoint normal logic programming

M. Eugenia Cornejo, David Lobo, Jesús Medina

Journal-ref: Fuzzy Sets and Systems 345 (2018) 41-62

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

[83] arXiv:2409.15351 (cross-list from math.AT) [pdf, html, other]

Title: Classification of Covering Spaces and Canonical Change of Basepoint

Jelle Wemmenhove, Cosmin Manea, Jim Portegies

Comments: 23 pages

Journal-ref: LIPIcs, Volume 303, TYPES 2023

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

[84] arXiv:2409.15693 (cross-list from math.AT) [pdf, html, other]

Title: Synthetic Homotopy Theory

Yuhang Wei

Comments: Master's dissertation, 51 pages, 11 figures

Subjects: Algebraic Topology (math.AT); Logic (math.LO)

[85] arXiv:2409.16956 (cross-list from cs.AI) [pdf, html, other]

Title: Informed deep hierarchical classification: a non-standard analysis inspired approach

Lorenzo Fiaschi, Marco Cococcioni

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic (math.LO)

[86] arXiv:2409.17036 (cross-list from math.DS) [pdf, html, other]

Title: Formal conjugacy and asymptotic differential algebra

Vincent Bagayoko

Comments: 17 pages

Subjects: Dynamical Systems (math.DS); Logic (math.LO); Rings and Algebras (math.RA)

[87] arXiv:2409.17375 (cross-list from math.GR) [pdf, html, other]

Title: The submonoid and rational subset membership problems for Artin groups

Islam Foniqi

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

[88] arXiv:2409.17664 (cross-list from cs.LO) [pdf, html, other]

Title: Comodule Representations of Second-Order Functionals

Danel Ahman, Andrej Bauer

Comments: Accepted Author Manuscript

Journal-ref: Journal of Logical and Algebraic Methods in Programming, v. 146, art. 101071, 27 pp., 2025

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