Logic

Authors and titles for November 2023

[1] arXiv:2311.00133 [pdf, other]

Title: Sizes of Countable Sets

Kateřina Trlifajová

Journal-ref: Philosophia Mathematica 2023

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

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

Title: The ZFC analogue of the Halpern-Levy theorem

Nedeljko Stefanović

Comments: Minor corrections relative to the previous version

Subjects: Logic (math.LO)

[3] arXiv:2311.00376 [pdf, other]

Title: Descriptive properties of I2-embeddings

Vincenzo Dimonte, Martina Iannella, Philipp Lücke

Comments: 19 pages

Subjects: Logic (math.LO)

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

Title: Relative model completeness of henselian valued fields with finite ramification and various value groups

Anna De Mase

Comments: 24 pages

Subjects: Logic (math.LO)

[5] arXiv:2311.00581 [pdf, other]

Title: The Modal Logic of Provability and Forcing

Taishi Kurahashi, Rihito Takase

Comments: 27 pages

Subjects: Logic (math.LO)

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

Title: Three surprising instances of dividing

Gabriel Conant, Alex Kruckman

Comments: 19 pages, minor revisions from first version, to appear in JSL

Subjects: Logic (math.LO)

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

Title: Imaginaries in equicharacteristic zero henselian fields

Silvain Rideau-Kikuchi, Mariana Vicaría

Comments: 32 pages. Comments welcome !

Subjects: Logic (math.LO)

[8] arXiv:2311.00759 [pdf, other]

Title: Logic families

H. Andréka, Z. Gyenis, I. Németi, I. Sain

Subjects: Logic (math.LO)

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

Title: Proper and Improper Variants of Mathias and Silver Forcing

Shixiao Liu

Subjects: Logic (math.LO)

[10] arXiv:2311.01374 [pdf, other]

Title: Peano and Osgood theorems via effective infinitesimals

Karel Hrbacek, Mikhail G. Katz

Comments: 19 pages, Journal of Logic and Analysis

Journal-ref: Journal of Logic and Analysis 15:6 (2023), 1-19

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

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

Title: The uniform companion for fields with free operators in characteristic zero

Shezad Mohamed

Comments: 28 pages. The results in section 3 have been strengthened, and preliminaries in section 2 have changed accordingly

Subjects: Logic (math.LO)

[12] arXiv:2311.02208 [pdf, other]

Title: Note on a bomb dropped by Mr Conant and Mr Kruckman, and its consequences for the theory ACFG

Christian d'Elbée

Comments: 9 pages

Subjects: Logic (math.LO)

[13] arXiv:2311.02322 [pdf, other]

Title: Adding highly undefinable sets over $L$

Mohammad Golshani, Saharon Shelah

Comments: This is publication number 1227 in Shelah's list

Subjects: Logic (math.LO)

[14] arXiv:2311.02361 [pdf, other]

Title: A basic system of paraconsistent Nelsonian logic of conditionals

Grigory K. Olkhovikov

Comments: 35 pages, 3 diagrams. arXiv admin note: text overlap with arXiv:2306.10402

Subjects: Logic (math.LO)

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

Title: Centers of quantum-Wajsberg algebras

Lavinia Corina Ciungu

Comments: arXiv admin note: text overlap with arXiv:2303.16481

Subjects: Logic (math.LO)

[16] arXiv:2311.04370 [pdf, other]

Title: Normalization properties of $\lambda\mu$-calculus using realizability semantics

Peter Battyanyi, Karim Nour

Subjects: Logic (math.LO)

[17] arXiv:2311.05751 [pdf, other]

Title: On points avoiding measures

Piotr Borodulin-Nadzieja, Artsiom Ranchynski

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

[18] arXiv:2311.05996 [pdf, other]

Title: Generalised Indiscernibles, Dividing Lines, and Products of Structures

Nadav Meir, Aris Papadopoulos, Pierre Touchard

Subjects: Logic (math.LO)

[19] arXiv:2311.06109 [pdf, other]

Title: On Contextuality and Unsharp Quantum Logic

Davide Fazio, Raffaele Mascella

Subjects: Logic (math.LO)

[20] arXiv:2311.06568 [pdf, other]

Title: On a fallacy concerning I-am-unprovable sentences: what to take home from Goedel's introduction

Kaave Lajevardi, Saeed Salehi

Comments: 14 pages

Subjects: Logic (math.LO)

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

Title: $\Pi_{2}$-Rule Systems and Inductive Classes of G\"{o}del Algebras

Rodrigo Nicolau Almeida

Comments: 29 pages

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

[22] arXiv:2311.07352 [pdf, other]

Title: Analytic Hardy fields

Matthias Aschenbrenner, Lou van den Dries

Comments: 39 pp

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

[23] arXiv:2311.07886 [pdf, other]

Title: Ultrafilters, Transversals, and the Hat Game

Luke Serafin

Comments: 11 pages

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

[24] arXiv:2311.08699 [pdf, other]

Title: Definable quotients in d-minimal structures

Masato Fujita

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

Subjects: Logic (math.LO)

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

Title: Pointed lattice subreducts of varieties of residuated lattices

Adam Přenosil

Comments: 27 pages, 0 figures

Subjects: Logic (math.LO)