Logic

Authors and titles for September 2023

[1] arXiv:2309.00159 [pdf, other]

Title: Betweenness algebras

Ivo Duentsch, Rafal Gruszczynski, Paula Menchon

Comments: 26 pages, 2 figures

Subjects: Logic (math.LO)

[2] arXiv:2309.00235 [pdf, other]

Title: Cantor's theorem may fail for finitary partitions

Guozhen Shen

Comments: 19 pages

Subjects: Logic (math.LO)

[3] arXiv:2309.00392 [pdf, other]

Title: A decidable expansion of $(Γ,+,F)$ with the independence property

Françoise Point

Subjects: Logic (math.LO)

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

Title: $K$-theory of co-existentially closed continua

Christopher J. Eagle, Joshua Lau

Comments: 16 pages

Subjects: Logic (math.LO); General Topology (math.GN); K-Theory and Homology (math.KT)

[5] arXiv:2309.00991 [pdf, other]

Title: Pseudofiniteness and measurability of the everywhere infinite forest

Darío García, Melissa Robles

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

[6] arXiv:2309.01284 [pdf, other]

Title: Flexible involutive meadows

Bruno Dinis, Emanuele Bottazzi

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

[7] arXiv:2309.01329 [pdf, other]

Title: Maximality Principles and Ressurection Axioms under a Laver-generic large cardinal

Sakaé Fuchino

Subjects: Logic (math.LO)

[8] arXiv:2309.01449 [pdf, other]

Title: Knowledge and ignorance in Belnap--Dunn logic

Daniil Kozhemiachenko, Liubov Vashentseva

Comments: This is the second version. Not much has changed from the first one. We changed the interline spacing to the default value, added some explanations and put two (long but simple) proofs in the appendix. The paper now seems to be shorter but actually is a tiny bit longer if you count the words. The third version has the footnote issue addressed

Subjects: Logic (math.LO)

[9] arXiv:2309.01844 [pdf, other]

Title: Effectiveness of Walker's Cancellation Theorem

Layth Al-Hellawi, Rachael Alvir, Barbara F. Csima, Xinyue Xie

Comments: 12 pages

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

[10] arXiv:2309.01876 [pdf, other]

Title: A Note on a Conjecture of Sacks: It is Harder to Embed Height Three Partial Orders than Height Two Partial Orders

Kojiro Higuchi, Patrick Lutz

Comments: 19 pages. Paper updated to fix typos

Subjects: Logic (math.LO)

[11] arXiv:2309.01931 [pdf, other]

Title: Separating cardinal characteristics of the strong measure zero ideal

Jörg Brendle, Miguel A. Cardona, Diego A. Mejía

Subjects: Logic (math.LO)

[12] arXiv:2309.01986 [pdf, other]

Title: Disjoint Stationary Sequences on an Interval of Cardinals

Hannes Jakob

Comments: 25 pages, 0 figures

Subjects: Logic (math.LO)

[13] arXiv:2309.02090 [pdf, other]

Title: Naturality and Definability III

Mohsen Asgharzadeh, Mohammad Golshani, Saharon Shelah

Subjects: Logic (math.LO)

[14] arXiv:2309.02327 [pdf, other]

Title: Order one differential equations on nonisotrivial algebraic curves

Taylor Dupuy, James Freitag

Comments: This manuscript replaces and greatly expands arXiv:1707.08714

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

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

Title: Deciding some displayable modal logics

Jinsheng Chen

Comments: Too many typos

Subjects: Logic (math.LO)

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

Title: A New Kim's Lemma

Alex Kruckman, Nicholas Ramsey

Comments: Minor corrections and improvements. To appear in Model Theory

Journal-ref: Model Th. 3 (2024) 825-860

Subjects: Logic (math.LO)

[17] arXiv:2309.02727 [pdf, html, other]

Title: Semisimple groups interpretable in various valued fields

Yatir Halevi, Assaf Hasson, Ya'acov Peterzil

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

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

[18] arXiv:2309.02890 [pdf, other]

Title: Note on radical and prime E-ideals

Antongiulio Fornasiero, Giuseppina Terzo

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

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

[19] arXiv:2309.03137 [pdf, other]

Title: There are only two paradoxes

Michal Walicki

Comments: The proof of the main Theorem 3.7 has some flaws. A minor one, which can be fixed, is the choice of \mathcal{H} as "the set of all sinkless induced subgraphs of H having finitely many ends." A more serious one is that the proof could be used to establish an untrue claim. It is not clear yet what specific mistake causes it

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

[20] arXiv:2309.03821 [pdf, other]

Title: The vanishing levels of a tree

Assaf Rinot, Shira Yadai, Zhixing You

Comments: Added a 6th section

Subjects: Logic (math.LO)

[21] arXiv:2309.04115 [pdf, other]

Title: Two-sorted Modal Logic for Formal and Rough Concepts

Prosenjit Howlader, Churn-Jung Liau

Subjects: Logic (math.LO)

[22] arXiv:2309.04771 [pdf, other]

Title: Tense distributive lattices: algebra, logic and topology

Aldo Victorio Figallo, Jonathan Sarmiento, Martín Figallo

Subjects: Logic (math.LO)

[23] arXiv:2309.05948 [pdf, other]

Title: Semantical cut-elimination for the provability logic of true arithmetic

Ryo Kashima, Yutaka Kato

Subjects: Logic (math.LO)

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

Title: The externally definable Ramsey property and fixed points on type spaces

Nadav Meir, Rob Sullivan

Comments: final version: published in Arch. Math. Logic (2024)

Journal-ref: Arch. Math. Logic (2024)

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

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

Title: Sparse graphs and the fixed points on type spaces property

Rob Sullivan

Comments: Final version - accepted to Model Theory

Journal-ref: Model Th. 3 (2024) 861-882

Subjects: Logic (math.LO)

[26] arXiv:2309.07151 [pdf, other]

Title: Andrew Wiles' Proof of Fermat's Last Theorem, As Expected, Does Not Require a Large Cardinal Axiom. A Discussion of Colin McLarty's "The Large Structures of Grothendieck Founded on Finite-Order Arithmetic"

William H. Wheeler

Comments: 15 pages, 2 tables. A Presentation to the Indiana University, Bloomington, Logic Seminar

Subjects: Logic (math.LO)

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

Title: Towards solid abelian groups: A formal proof of Nöbeling's theorem

Dagur Asgeirsson

Comments: 17 pages

Journal-ref: 15th International Conference on Interactive Theorem Proving (ITP 2024)

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

[28] arXiv:2309.09910 [pdf, other]

Title: Convex Embeddability and Knot Theory

Martina Iannella, Alberto Marcone, Luca Motto Ros, Vadim Weinstein

Comments: 46 pages

Journal-ref: Transactions of the American Mathematical Society 378 (2025), 2745-2796

Subjects: Logic (math.LO); Combinatorics (math.CO); Geometric Topology (math.GT)

[29] arXiv:2309.10611 [pdf, other]

Title: Symétrons et K-boucles omega-stables

Samuel Zamour

Comments: 18 pages, in French

Subjects: Logic (math.LO)

[30] arXiv:2309.10860 [pdf, other]

Title: The Craig Interpolation Property in First-order Gödel Logic

Seyed Mohammad Amin Khatami, Massoud Pourmahdian, Nazanin R. Tavana

Subjects: Logic (math.LO)

[31] arXiv:2309.10946 [pdf, other]

Title: Closure algebras of depth two with extremal relations: Their frames, logics, and structural completeness

Ivo Düntsch, Wojciech Dzik

Subjects: Logic (math.LO)

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

Title: Which Pairs of Cardinals Can Be Hartogs and Lindenbaum Numbers of a Set?

Asaf Karagila, Calliope Ryan-Smith

Comments: 9 pages; accepted version

Subjects: Logic (math.LO)

[33] arXiv:2309.11598 [pdf, other]

Title: A theory satisfying a strong version of Tennenbaum's theorem

Patrick Lutz, James Walsh

Comments: 21 pages

Subjects: Logic (math.LO)

[34] arXiv:2309.11634 [pdf, other]

Title: Conway and Doyle Can Divide by Three, But I Can't

Patrick Lutz

Comments: 6 pages, published in The Mathematical Intelligencer

Subjects: Logic (math.LO)

[35] arXiv:2309.11678 [pdf, other]

Title: Imaginaries, products and the adele ring

Jamshid Derakhshan, Ehud Hrushovski

Subjects: Logic (math.LO)

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

Title: The Hartogs-Lindenbaum Spectrum of Symmetric Extensions

Calliope Ryan-Smith

Comments: 16 pages; accepted version

Journal-ref: Math. Log. Quart. 70 (2024): 210-223

Subjects: Logic (math.LO)

[37] arXiv:2309.12462 [pdf, other]

Title: Zilber's skew-field lemma

Adrien Deloro

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

[38] arXiv:2309.12465 [pdf, other]

Title: Simple Lie rings of Morley rank 4

Adrien Deloro, Jules Tindzogho Ntsiri

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

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

Title: Relation algebras containing Thompson groups

Roger D. Maddux

Comments: 69 pages, 4 figures, 1 table

Subjects: Logic (math.LO)

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

Title: Diamond on ladder systems and countably metacompact topological spaces

Rodrigo Carvalho, Tanmay Inamdar, Assaf Rinot

Comments: Added a section "Club guessing with diamonds", where we address the case of omega-bounded ladder systems

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

[41] arXiv:2309.13535 [pdf, other]

Title: Left absorption in products of countable orders

Garrett Ervin, Ethan Gu

Subjects: Logic (math.LO)

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

Title: Monotone $T$-convex $T$-differential fields

Elliot Kaplan, Nigel Pynn-Coates

Comments: 28 pages; v4: typos corrected

Journal-ref: Model Th. 4 (2025) 55-100

Subjects: Logic (math.LO)

[43] arXiv:2309.14151 [pdf, other]

Title: Structural and universal completeness in algebra and logic

Paolo Aglianò, Sara Ugolini

Comments: This is a preprint

Subjects: Logic (math.LO)

[44] arXiv:2309.14469 [pdf, other]

Title: The Ax-Kochen-Ershov Theorem

Christian d'Elbée

Comments: 31 pages

Subjects: Logic (math.LO)

[45] arXiv:2309.15022 [pdf, other]

Title: Why most papers on filters are really trivial (including this one)

Paolo Aglianò

Subjects: Logic (math.LO)

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

Title: The Complexity of Resilience Problems via Valued Constraint Satisfaction

Manuel Bodirsky, Žaneta Semanišinová, Carsten Lutz

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

[47] arXiv:2309.16015 [pdf, other]

Title: Arboles de Forzamiento Semántico para la Logica de Predicados

Manuel Sierra Aristizábal

Comments: en idioma español, in Spanish language

Subjects: Logic (math.LO)

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

Title: Fuzzy bi-Gödel modal logic and its paraconsistent relatives

Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko

Subjects: Logic (math.LO)

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

Title: Expressive Power of Infinitary Logic and Absolute co-Hopfianity

Mohsen Asgharzadeh, Mohammad Golshani, Saharon Shelah

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

[50] arXiv:2309.17297 [pdf, other]

Title: Structurally complete finitary extensions of positive Łukasiewicz logic

Paolo Aglianò, Francesco Manfucci

Subjects: Logic (math.LO)