Logic

Authors and titles for April 2024

[1] arXiv:2404.00468 [pdf, html, other]

Title: On P=NP Either False or Independent of ZFC

S Gill Williamson

Comments: 4 pages

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

[2] arXiv:2404.00853 [pdf, html, other]

Title: $G$-invariant definable Tietze extension theorem

Masato Fujita, Tomohiro Kawakami

Subjects: Logic (math.LO)

[3] arXiv:2404.01011 [pdf, html, other]

Title: Primitive Recursive Dependent Type Theory

Ulrik Buchholtz, Johannes Schipp von Branitz

Comments: 18 pages

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

[4] arXiv:2404.01026 [pdf, html, other]

Title: Modelling Multiplicative Linear Logic via Deep Inference

Tomer Galor, Andrea Schalk

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

[5] arXiv:2404.01256 [pdf, html, other]

Title: The Countable Reals

Andrej Bauer, James E. Hanson

Subjects: Logic (math.LO)

[6] arXiv:2404.01354 [pdf, html, other]

Title: Conjunctive Table Algebras

Jens Kötters, Stefan E. Schmidt

Subjects: Logic (math.LO)

[7] arXiv:2404.01670 [pdf, html, other]

Title: Locally tabular products of modal logics

Ilya B. Shapirovsky, Vladislav Sliusarev

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

[8] arXiv:2404.01728 [pdf, html, other]

Title: Formalizing Pfaffian in bounded arithmetic

Satoru Kuroda

Subjects: Logic (math.LO)

[9] arXiv:2404.02379 [pdf, html, other]

Title: Diamond principles and Tukey-top ultrafilters on a countable set

Tom Benhamou, Fanxin Wu

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

[10] arXiv:2404.02715 [pdf, html, other]

Title: Diamond on Kurepa trees

Ziemowit Kostana, Assaf Rinot, Saharon Shelah

Subjects: Logic (math.LO)

[11] arXiv:2404.03238 [pdf, html, other]

Title: Order structure of P-point ultrafilters and their relatives

Borisa Kuzeljevic, Dilip Raghavan

Subjects: Logic (math.LO)

[12] arXiv:2404.03315 [pdf, html, other]

Title: The complexity of non-stationary ideals

Philipp Lücke

Comments: Survey paper. Revised version. 26 pages

Subjects: Logic (math.LO)

[13] arXiv:2404.03494 [pdf, html, other]

Title: A topological reading of inductive and coinductive definitions in Dependent Type Theory

Pietro Sabelli

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

[14] arXiv:2404.03597 [pdf, html, other]

Title: Chain union closures

Wiesław Kubiś, Franz-Viktor Kuhlmann

Comments: 13 pages. arXiv admin note: text overlap with arXiv:1810.05832

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

[15] arXiv:2404.04347 [pdf, html, other]

Title: Equivalence of multiset-based consequence relations

Ali Madanshekaf, Adam Přenosil, Zeinab Khanjanzadeh Seresti, Constantine Tsinakis

Comments: 29 pages, 0 figures

Subjects: Logic (math.LO)

[16] arXiv:2404.04349 [pdf, html, other]

Title: Levin's and Prucnal's theorems on Medvedev's logic of finite problems

Adam Přenosil

Comments: 4 pages, 0 figures

Subjects: Logic (math.LO)

[17] arXiv:2404.04381 [pdf, other]

Title: Classification properties for some ternary structures

Alberto Miguel-Gómez

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

[18] arXiv:2404.04529 [pdf, html, other]

Title: The Isomorphism Problem for Oligomorphic Groups with Weak Elimination of Imaginaries

Gianluca Paolini

Subjects: Logic (math.LO)

[19] arXiv:2404.04766 [pdf, html, other]

Title: Sets and Classes: Operational Theory

Garth Warner

Subjects: Logic (math.LO)

[20] arXiv:2404.04893 [pdf, html, other]

Title: On the unification problem for GLP

Lev D. Beklemishev

Comments: 19 pages

Subjects: Logic (math.LO)

[21] arXiv:2404.05574 [pdf, html, other]

Title: Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic

Yiwen Ding, Krishna Manoorkar, Mattia Panettiere, Ruoding Wang

Subjects: Logic (math.LO)

[22] arXiv:2404.05899 [pdf, html, other]

Title: Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$

Daichi Hayashi

Subjects: Logic (math.LO)

[23] arXiv:2404.06639 [pdf, html, other]

Title: On cardinal invariants related to Rosenthal families and large-scale topology

Arturo Martínez-Celis, Tomasz Żuchowski

Comments: 19 pages

Subjects: Logic (math.LO)

[24] arXiv:2404.06805 [pdf, html, other]

Title: A note on continuous functions on metric spaces

Sam Sanders

Comments: 17 pages plus references, to appear in Bulletin of Symbolic Logic

Journal-ref: Bull. symb. log 30 (2024) 398-420

Subjects: Logic (math.LO)

[25] arXiv:2404.06872 [pdf, html, other]

Title: Dilators and the reverse mathematics zoo

Anton Freund

Subjects: Logic (math.LO)

[26] arXiv:2404.06888 [pdf, html, other]

Title: On the theory of exponential integer parts

Emil Jeřábek

Comments: 27 pages

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

[27] arXiv:2404.07442 [pdf, html, other]

Title: Logics of False Belief and Radical Ignorance

Jie Fan

Comments: 21 pages

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

[28] arXiv:2404.07646 [pdf, other]

Title: $T$-convexity, Weakly Immediate Types, and $T$-$λ$-Spherical Completions of o-minimal Structures

Pietro Freni

Comments: 46 pages, improved presentation fixed minor mistakes and typos, fixed a gap in Section 5, added Subsection 5.2

Subjects: Logic (math.LO)

[29] arXiv:2404.07877 [pdf, html, other]

Title: Definability of band structures on posets

Joel Kuperman, Alejandro Petrovich, Pedro Sánchez Terraf

Comments: 23 pages, 10 figures. Comments are welcome. v2: As per referee's request, we are splitting this work. The first manuscript corresponds to version 2

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

[30] arXiv:2404.08260 [pdf, html, other]

Title: Weakly o-minimal types

Slavko Moconja, Predrag Tanović

Subjects: Logic (math.LO)

[31] arXiv:2404.08551 [pdf, html, other]

Title: Quantifier-free formulas and quantifier alternation depth in doctrines

Marco Abbadini, Francesca Guffanti

Comments: Comments are welcome!

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

[32] arXiv:2404.08983 [pdf, html, other]

Title: Nonvanishing derived limits without scales

Matteo Casarosa

Subjects: Logic (math.LO)

[33] arXiv:2404.09004 [pdf, html, other]

Title: Countably compact extensions and cardinal characteristics of the continuum

Serhii Bardyla, Peter Nyikos, Lyubomyr Zdomskyy

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

[34] arXiv:2404.09018 [pdf, html, other]

Title: Arrow-Sen theory simplified

Branislav Boričić

Subjects: Logic (math.LO)

[35] arXiv:2404.09033 [pdf, html, other]

Title: Logic in Mathematics and Computer Science

Richard Zach

Comments: To appear in The Oxford Handbook of Philosophy of Logic

Subjects: Logic (math.LO)

[36] arXiv:2404.10455 [pdf, html, other]

Title: Berkeley Cardinals and Vopěnka's Principle

Marwan Salam Mohammd

Comments: 24 pages

Subjects: Logic (math.LO)

[37] arXiv:2404.10612 [pdf, html, other]

Title: Dynamical ideals and the axiom of choice

Jindrich Zapletal

Subjects: Logic (math.LO)

[38] arXiv:2404.10736 [pdf, html, other]

Title: On forcing axioms and weakenings of the Axiom of Choice

Diego Lima Bomfim, Charles Morgan, Samuel Gomes da Silva

Comments: 14 pages

Subjects: Logic (math.LO)

[39] arXiv:2404.10737 [pdf, html, other]

Title: Integer-valued o-minimal functions

Neer Bhardwaj, Raymond McCulloch, Nandagopal Ramachandran, Katharine Woo

Comments: 14 pages

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

[40] arXiv:2404.11218 [pdf, html, other]

Title: Witnessing Flows in Arithmetic

Amirhossein Akbar Tabatabai

Comments: 55 pages

Journal-ref: Math. Struct. Comp. Sci. 34 (2024) 578-614

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

[41] arXiv:2404.11453 [pdf, html, other]

Title: Visceral theories without assumptions

Will Johnson

Comments: 59 pages, added Proposition 4.4 on local homeomorphisms

Subjects: Logic (math.LO)

[42] arXiv:2404.11524 [pdf, html, other]

Title: On effective constructions of existentially closed groups

I Scott

Comments: 27 pages; comments welcome!

Subjects: Logic (math.LO)

[43] arXiv:2404.11638 [pdf, html, other]

Title: Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization

Guillermo L. Incatasciato, Pedro Sánchez Terraf

Comments: Expository paper. 12 pages. Comments are welcome! v2: Added introductory section on formalized mathematics. We thank the reviewers for many insightful and detailed comments

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

[44] arXiv:2404.11969 [pdf, html, other]

Title: Lewis and Brouwer meet Strong Löb

Albert Visser, Tadeusz Litak

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

[45] arXiv:2404.12269 [pdf, html, other]

Title: Upward Löwenheim-Skolem-Tarski Numbers for Abstract Logics

Victoria Gitman, Jonathan Osinski

Subjects: Logic (math.LO)

[46] arXiv:2404.12836 [pdf, html, other]

Title: Martin's Maximum${}^{\ast, ++}_{\mathfrak{c}}$ in $\mathbb{P}_{\max}$ extensions of strong models of determinacy

Ralf Schindler, Taichi Yasuda

Subjects: Logic (math.LO)

[47] arXiv:2404.13480 [pdf, html, other]

Title: Conditional algebras

Sergio Celani, Rafał Gruszczyński, Paula Menchón

Subjects: Logic (math.LO)

[48] arXiv:2404.13661 [pdf, html, other]

Title: Equational theory of ordinals with addition and left multiplication by $ω$

Christian Choffrut

Subjects: Logic (math.LO)

[49] arXiv:2404.14532 [pdf, html, other]

Title: The class of Krasner hyperfields is not elementary

Piotr Błaszkiewicz, Piotr Kowalski

Subjects: Logic (math.LO)

[50] arXiv:2404.15230 [pdf, html, other]

Title: Distinguishing Internally Club and Approachable on an Infinite Interval

Hannes Jakob, Maxwell Levine

Subjects: Logic (math.LO)