Logic

Authors and titles for September 2023

[51] arXiv:2309.00478 (cross-list from math.RA) [pdf, other]

Title: On when the union of two algebraic sets is algebraic

Erhard Aichinger, Mike Behrisch, Bernardo Rossi

Comments: 50 pages, 1 figure, 1 table

Journal-ref: Aequationes mathematicae xx(yy) (2024) aa-bb

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

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

Title: A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised

Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff

Comments: 21-page conference paper + 4-page appendix with proofs

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

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

Title: Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelational semantics

Anupam Das, Iris van der Giessen, Sonia Marin

Comments: 25 pages including 8 pages appendix, 4 figures

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

[54] arXiv:2309.00982 (cross-list from math.NT) [pdf, other]

Title: Densities for sets of natural numbers vanishing on a given family

Rafał Filipów, Jacek Tryba

Journal-ref: J. of Number Theory 211 (2020), 371-382

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

[55] arXiv:2309.02734 (cross-list from math.NT) [pdf, other]

Title: Higher reciprocity law and An analogue of the Grunwald--Wang theorem for the ring of polynomials over an ultra-finite field

Dong Quan Ngoc Nguyen

Comments: We revised the first version of the paper to include any nonprincipal ultraproduct of finite fields of both characteristics $0$ and $p >0$. The ultraproduct can be taken over the same finite field $\mathbb{F}_q$, in which case the ultraproduct becomes the finite field $\mathbb{F}_q$, which allows to recover the classical reciprocity law for $\mathbb{F}_q[t]$

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

[56] arXiv:2309.02738 (cross-list from math.NT) [pdf, other]

Title: Local symbols and a first-order definition of the polynomial ring over an ultra-finite field in its fraction field

Dong Quan Ngoc Nguyen

Comments: Added references and a new result regarding undecidability

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

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

Title: Infinite dimensional sequential compactness: Sequential compactness based on barriers

Cesar Corral, Osvaldo Guzman, Carlos Lopez-Callejas, Pourya Memarpanahi, Paul Szeptycki, Stevo Todorcevic

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

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

Title: A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective

Alejandro Díaz-Caro, Octavio Malherbe

Comments: There is a mistake in the adequacy proof for the first language. The other languages have been integrated into arXiv:2205.02142, making this paper merely a concrete example

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

[59] arXiv:2309.05729 (cross-list from math.GM) [pdf, other]

Title: A Note on the Incompleteness of Gödel's Incompleteness Theorems

Jeffrey Uhlmann

Comments: Converted to a pedagogical focus

Subjects: General Mathematics (math.GM); Logic (math.LO)

[60] arXiv:2309.06116 (cross-list from math.CO) [pdf, html, other]

Title: Distinguishing colorings, proper colorings, and covering properties without the Axiom of Choice

Amitayu Banerjee, Zalán Molnár, Alexa Gopaulsingh

Comments: This revised version is accepted in a journal

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

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

Title: Regular Representations of Uniform TC^0

Lauri Hella, Juha Kontinen, Kerkko Luosto

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

[62] arXiv:2309.07829 (cross-list from math.AG) [pdf, other]

Title: Minimality of the $\mathcal D$-groupoid of symmetries of a projective structure

Alejandro Arenas Tirado, David Blázquez-Sanz, Guy Casale

Comments: 16 pages

Subjects: Algebraic Geometry (math.AG); Differential Geometry (math.DG); Logic (math.LO)

[63] arXiv:2309.08327 (cross-list from math.CO) [pdf, html, other]

Title: Forbidden Tournaments and the Orientation Completion Problem

Manuel Bodirsky, Santiago Guzmán-Pro

Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Logic (math.LO)

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

Title: Formalizing the $\infty$-Categorical Yoneda Lemma

Nikolai Kudasov, Emily Riehl, Jonathan Weinberger

Comments: To appear in CPP 2024

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

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

Title: Groups elementary equivalent to finitely generated free metabelian

Olga Kharlampovich, Alexei Miasnikov

Comments: arXiv admin note: substantial text overlap with arXiv:2109.13133

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

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

Title: Formalizing two-level type theory with cofibrant exo-nat

Elif Uskuplu

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

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

Title: Fitchean Ignorance and First-order Ignorance: A Neighborhood Look

Jie Fan

Comments: 37 pages

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

[68] arXiv:2309.09504 (cross-list from math.CO) [pdf, other]

Title: Undecidability of translational monotilings

Rachel Greenfeld, Terence Tao

Comments: 44 pages, 10 figures, typos corrected

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

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

Title: Algebra of Self-Replication

Lawrence S. Moss

Comments: Presented to the 39th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIX). MFPS took place together at Indiana University Bloomington on June 19-23, 2023

Journal-ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:12320

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

[70] arXiv:2309.10307 (cross-list from math.GN) [pdf, other]

Title: On Roitman's principles $\mathsf{MH}$ and $Δ$

Hector Barriga-Acosta, Will Brian, Alan Dow

Comments: 18 pages, 1 diagram

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

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

Title: Lifting star-autonomous structures

Luigi Santocanale (LIS, ACRO), Cédric de Lacroix (LIS), Gregory Chichery (LIS)

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

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

Title: Cardinality and Representation of Stone Relation Algebras

Hitoshi Furusawa, Walter Guttmann

Comments: added explanations

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

[73] arXiv:2309.11701 (cross-list from math.CA) [pdf, other]

Title: Dimension of Pinned Distance Sets for Semi-Regular Sets

Jacob B. Fiedler, D. M. Stull

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

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

Title: A survey of local-global methods for Hilbert's Tenth Problem

Sylvy Anscombe, Valentijn Karemaker, Zeynep Kisakürek, Vlerë Mehmeti, Margherita Pagano, Laura Paladino

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

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

Title: Asymptotic freeness in tracial ultraproducts

Cyril Houdayer, Adrian Ioana

Comments: 27 pages

Journal-ref: Forum of Mathematics, Sigma 12 (2024) e88

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

[76] arXiv:2309.16989 (cross-list from math.RA) [pdf, html, other]

Title: Extension realizing affine datum: low-dimensional cohomology

Alexander Wires

Comments: 43 pages, revised Section 2 and added Section 4 about varieties with a weakly-associative difference term

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

[77] arXiv:2309.16998 (cross-list from math.RA) [pdf, other]

Title: Natural dualities for varieties generated by finite positive MV-chains

Wolfgang Poiger

Comments: Preprint

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

[78] arXiv:2309.17274 (cross-list from math.CO) [pdf, other]

Title: A Ramsey-type phenomenon in two and three dimensional simplices

Sumun Iyer

Comments: 16 pages

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