Logic Papers

New Logic papers from logic, set theory, point-set topology, formal mathematics. Thank you to arXiv for use of its open access interoperability.

[Logic Papers @PRWT]

Proof Theory and Interpolation for Sacchetti's Logics

Borja Sierra Miranda, Thomas Studer
https://t.co/NcSAusjVXI [𝚖𝚊𝚝𝚑.𝙻𝙾]

[Logic Papers @PRWT]

Chains and Antichains inside Many-One Degrees and Variants

Linus Richter, Frank Stephan, Xiaoyan Zhang
https://t.co/QfLQn3snTu [𝚖𝚊𝚝𝚑.𝙻𝙾 𝚌𝚜.𝙳𝙼]

[Logic Papers @PRWT]

Merging lim¹ A ≠ 0 with other nonvanishing constructions

Nathaniel Bannister, Justin Tatch Moore
https://t.co/gzMJwtzWiM [𝚖𝚊𝚝𝚑.𝙻𝙾 𝚖𝚊𝚝𝚑.𝙰𝚃]

[Logic Papers @PRWT]

On Determinacy for Cut and Choose Games of Uncountable Length

Maxwell Levine
https://t.co/XHRKshTvft [𝚖𝚊𝚝𝚑.𝙻𝙾]

[Logic Papers @PRWT]

Sum-product Phenomenon Via Dimension

Yuyan He, Sergei Starchenko
https://t.co/HfmmPDi4Fn [𝚖𝚊𝚝𝚑.𝙻𝙾]

[Logic Papers @PRWT]

The theory of the Ziegler degrees

Rodney G. Downey, Steffen Lempp, Isabella Scott
https://t.co/euzBlHWITp [𝚖𝚊𝚝𝚑.𝙻𝙾]

[Logic Papers @PRWT]

A note on ultrahomogeneous unary algebras

Cheng Liao
https://t.co/IWT8a1Mdmo [𝚖𝚊𝚝𝚑.𝙻𝙾]

[Logic Papers @PRWT]

Conceptual completeness for subgeometric logics

Ivan Di Liberti, Umberto Tarantino, Lingyuan Ye
https://t.co/lgMYyB2ju2 [𝚖𝚊𝚝𝚑.𝙻𝙾 𝚌𝚜.𝙻𝙾 𝚖𝚊𝚝𝚑.𝙲𝚃]

[Logic Papers @PRWT]

Bisimulations in second-order arithmetic

Yuto Takeda, Keita Yokoyama
https://t.co/2Jp2vjB00d [𝚖𝚊𝚝𝚑.𝙻𝙾]

[Logic Papers @PRWT]

On Strong Structural Completeness of Varieties and Quasivarieties

Alex Citkin
https://t.co/ffkzLEireF [𝚖𝚊𝚝𝚑.𝙻𝙾 𝚌𝚜.𝙻𝙾]

[Logic Papers @PRWT]

Fast approximation and learning of binary classification tasks in o-minimal structures using ReLU neural networks

Clemens Kinn, Philipp Petersen
https://t.co/9IwyEBS7WI [𝚖𝚊𝚝𝚑.𝙻𝙾 𝚌𝚜.𝙻𝙶 𝚖𝚊𝚝𝚑.𝙵𝙰]

[Logic Papers @PRWT]

A generalization of a representation of the integers modulo p, for the purpose of occasionally establishing the unsolvability of diophantine inequalities

André Rognes
https://t.co/HCbeqMBCWF [𝚖𝚊𝚝𝚑.𝙻𝙾]

[Logic Papers @PRWT]

The continuous oriented chromatic number of directed Schreier graphs of ℤ²-shift actions

Ruijun Wang
https://t.co/Y92i8ruzeS [𝚖𝚊𝚝𝚑.𝙻𝙾 𝚖𝚊𝚝𝚑.𝙲𝙾]

[Logic Papers @PRWT]

Halo Semantics for Modal Logic

Yoàv Montacute
https://t.co/d6PlZiuKMd [𝚖𝚊𝚝𝚑.𝙻𝙾 𝚌𝚜.𝙻𝙾 𝚖𝚊𝚝𝚑.𝙶𝙽]

[Logic Papers @PRWT]

Possibly Relevant Translations

Søren Brinck Knudstorp
https://t.co/xWGsPeCQzH [𝚖𝚊𝚝𝚑.𝙻𝙾 𝚌𝚜.𝙻𝙾]

[Logic Papers @PRWT]

Intuitionistic K is a Bisimulation-Invariant Fragment of Intuitionistic First-Order Logic

Jim de Groot, João Marcos, Rodrigo Stefanes
https://t.co/vuOsJU6z2G [𝚖𝚊𝚝𝚑.𝙻𝙾 𝚌𝚜.𝙻𝙾]

[Logic Papers @PRWT]

On Interpretations of Normal Modal Logics

Lev V. Dvorkin
https://t.co/TNGhgB5DMU [𝚖𝚊𝚝𝚑.𝙻𝙾]

[Logic Papers @PRWT]

Modal Measurable Logics via a Modal Loomis-Sikorski Representation Theorem

Nick Bezhanishvili, Jim de Groot, Lawrence S. Moss
https://t.co/PqtxiD5w36 [𝚖𝚊𝚝𝚑.𝙻𝙾 𝚌𝚜.𝙻𝙾]

[Logic Papers @PRWT]

Coequivalence Relations and Descent in Modal Logic

Rodrigo Nicolau Almeida, Matteo De Berardinis
https://t.co/5iu4mezPxO [𝚖𝚊𝚝𝚑.𝙻𝙾 𝚖𝚊𝚝𝚑.𝙲𝚃]

[Logic Papers @PRWT]

Conditionals and Modalities in Constructive Quantum Logics

Juan P. Aguilera, Guillaume Massas
https://t.co/Og0GCPVUVG [𝚖𝚊𝚝𝚑.𝙻𝙾 𝚌𝚜.𝙻𝙾]