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)