Logic

Authors and titles for April 2023

[51] arXiv:2304.11371 [pdf, other]

Title: Quantifier elimination in II$_1$ factors

Ilijas Farah

Comments: A bad typo in (2) of Lemma 2.1 fixed. The statement of (3) in Lemma 2.1 expanded to a more illuminating one. To appear in the special issue of Muenster J. Math. in memory of Eberhard Kirchberg

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

[52] arXiv:2304.11481 [pdf, other]

Title: Proof-theoretic aspects of paraconsistency with strong consistency operator

Victoria Arce Pistone, Martín Figallo

Subjects: Logic (math.LO)

[53] arXiv:2304.11621 [pdf, other]

Title: Cut-free sequent-style systems for a logic associated to involutive Stone algebras

Liliana M. Cantú, Martín Figallo

Comments: this https URL

Subjects: Logic (math.LO)

[54] arXiv:2304.11626 [pdf, other]

Title: On the logic that preserves degrees of truth associated to involutive Stone algebras

Liliana M. Cantú, Martín Figallo

Journal-ref: Logic Journal of the IGPL 8 (2020) 1000-1020

Subjects: Logic (math.LO)

[55] arXiv:2304.11878 [pdf, other]

Title: Discovering an Algebra of Classes in the Algebra of Numbers -- from George Boole to the Present

Stanley Burris

Comments: 8 pages, no figures

Subjects: Logic (math.LO)

[56] arXiv:2304.12805 [pdf, other]

Title: More about the cofinality and the covering of the ideal of strong measure zero sets

Miguel A. Cardona, Diego A. Mejía

Comments: 33 pages, 2 figures

Subjects: Logic (math.LO)

[57] arXiv:2304.12871 [pdf, other]

Title: Network Satisfaction Problems Solved by k-Consistency

Manuel Bodirsky, Simon Knäuer

Comments: 34 pages, 5 figures, a short version of this article is accepted for publication in the proceedings of ICALP 2023

Subjects: Logic (math.LO); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Rings and Algebras (math.RA)

[58] arXiv:2304.13777 [pdf, other]

Title: A topological $L_{\omega_1,\omega}$-invariant

Boris Zilber

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

[59] arXiv:2304.13786 [pdf, other]

Title: On homotopical and cohomological interpretations of Logic

Thiago Alexandre, Gabriel Bittencourt Rios, Hugo Luiz Mariano

Subjects: Logic (math.LO)

[60] arXiv:2304.14527 [pdf, other]

Title: A note on definable matchings in o-minimal bipartite graphs

Jana Maříková

Subjects: Logic (math.LO)

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

Title: Rough Randomness and its Application

Mani A

Comments: 14 Pages. To Appear

Subjects: Artificial Intelligence (cs.AI); Logic (math.LO); Rings and Algebras (math.RA)

[62] arXiv:2304.00610 (cross-list from cs.CC) [pdf, other]

Title: Ruling Out Short Proofs of Unprovable Sentences is Hard

Hunter Monroe

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

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

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

Title: Finite axiomatizability of the rank and the dimension of a pro-$\pi$ group

Martina Conte, Benjamin Klopsch

Comments: 15 pages; improved exposition

Journal-ref: Pacific J. Math. 328 (2024) 255-273

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

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

Title: Unfriendly partitions when avoiding vertices of finite degree

Leandro Fiorini Aurichi, Lucas Real

Comments: 8 pages

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

[65] arXiv:2304.03030 (cross-list from cs.CL) [pdf, other]

Title: Compression of enumerations and gain

George Barmpalias, Xiaoyan Zhang, Bohua Zhan

Subjects: Computation and Language (cs.CL); Information Theory (cs.IT); Logic (math.LO)

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

Title: Biased elementary doctrines and quotient completions

Cipriano Junior Cioffo

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

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

Title: Mellin transforms of power-constructible functions

Raf Cluckers, Georges Comte, Jean-Philippe Rolin, Tamara Servi

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

[68] arXiv:2304.04852 (cross-list from cs.IT) [pdf, other]

Title: The Kraft--Barmpalias--Lewis-Pye lemma revisited

Alexander Shen

Comments: (Added a small remark about non-binary case in v.2)

Subjects: Information Theory (cs.IT); Data Structures and Algorithms (cs.DS); Logic (math.LO)

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

Title: Foundations for an Abstract Proof Theory in the Context of Horn Rules

Tim S. Lyon, Piotr Ostropolski-Nalewaja

Comments: This paper is currently under review

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Logic (math.LO)

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

Title: Beyond the Fontaine-Wintenberger theorem

Franziska Jahnke, Konstantinos Kartas

Comments: 58 pages; local corrections and improvements in presentation

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

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

Title: Pointfree topology and constructive mathematics

Graham Manuell

Comments: 51 pages. Lecture notes for my course at the TACL Summer School in Praia de Mira in June 2022

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

[72] arXiv:2304.06186 (cross-list from cs.CL) [pdf, other]

Title: Using Large Language Models for (De-)Formalization and Natural Argumentation Exercises for Beginner's Students

Merlin Carl (Europa-Universität Flensburg)

Comments: In Proceedings ThEdu'23, arXiv:2404.03709

Journal-ref: EPTCS 400, 2024, pp. 28-43

Subjects: Computation and Language (cs.CL); Logic (math.LO)

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

Title: The Diophantine problem in Chevalley groups

Elena Bunina, Alexey Miasnikov, Eugene Plotkin

Comments: 44 pages

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

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

Title: Decidability of Querying First-Order Theories via Countermodels of Finite Width

Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Databases (cs.DB); Discrete Mathematics (cs.DM); Logic (math.LO)

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

Title: The Geometric Completion of a Doctrine

Joshua Wrigley

Comments: 63 pages

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

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

Title: On Sylow theory for linear pseudofinite groups

Pınar Uğurlu

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

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

Title: Doxastic Lukasiewicz Logic with Public Announcement

Doratossadat Dastgheib, Hadi Farahani

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

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

Title: One point compactification and Lipschitz normally embedded definable subsets

André Costa, Vincent Grandjean, Maria Michalska

Comments: Abstract is extended. Introduction is modified accordingly to the addition of two new sections. Old sections 2 to 7 are now 1 to 6. We have added applications: Section 7 about the existence of LNE model of closed unbounded definable sets; and Section 8 presenting examples (definable and not) and their respective LNE nature in different compactifications

Subjects: Algebraic Geometry (math.AG); Logic (math.LO); Metric Geometry (math.MG)

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

Title: Embedded Finite Models Beyond Restricted Quantifier Collapse

Michael Benedikt, Ehud Hrushovski

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

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

Title: Measure doubling of small sets in $\mathrm{SO}(3,\mathbb{R})$

Yifan Jing, Chieu-Minh Tran, Ruixiang Zhang

Comments: 40 pages. Comments are welcome

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

[81] arXiv:2304.09714 (cross-list from math-ph) [pdf, other]

Title: A background independent notion of causality

Antonio Capolupo, Aniello Quaranta

Comments: 13 pages

Subjects: Mathematical Physics (math-ph); Logic (math.LO)

[82] arXiv:2304.09732 (cross-list from math.HO) [pdf, other]

Title: Wittgenstein on decisions and the mathematical practice

M. Muñoz Pérez

Subjects: History and Overview (math.HO); Logic (math.LO)

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

Title: A note on Stone-\v{C}ech compactification in ZFA

Michał R. Przybyłek

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

[84] arXiv:2304.10549 (cross-list from cs.LG) [pdf, html, other]

Title: A note on the connectedness property of union-free generic sets of partial orders

Georg Schollmeyer, Hannah Blocher

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

[85] arXiv:2304.10629 (cross-list from math.RT) [pdf, html, other]

Title: Model theory in compactly generated (tensor-)triangulated categories

Mike Prest, Rose Wagstaffe

Comments: minor changes

Journal-ref: Model Th. 3 (2024) 147-197

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

[86] arXiv:2304.11203 (cross-list from math.HO) [pdf, other]

Title: From Tractatus to Later Writings and Back -- New Implications from the Nachlass

Ruy J.G.B. de Queiroz

Comments: 35 pages

Subjects: History and Overview (math.HO); Logic in Computer Science (cs.LO); Logic (math.LO)

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

Title: Quantifying over Trees in Monadic Second-Order Logic

Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Logic (math.LO)

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

Title: Alternating (In)Dependence-Friendly Logic

Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero

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

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

Title: Existential uniform $p$-adic integration and descent for integrability and largest poles

Raf Cluckers, Mathias Stout

Comments: 38 pages

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

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

Title: Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF

Johannes K. Fichte, Robert Ganian, Markus Hecher, Friedrich Slivovsky, Sebastian Ordyniak

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Logic (math.LO)

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

Title: Open subgroups of $p$-adic algebraic groups

Anand Pillay, Ningyuan Yao

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

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

Title: Dynamic Tracing: a graphical language for rewriting protocols

Kristopher Brown, David I. Spivak

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