Logic

Authors and titles for May 2024

[1] arXiv:2405.00618 [pdf, other]

Title: An axiomatisation of the temporal logic of two dimensional Minkowski spacetime

Robin Hirsch

Comments: A serious problem with the proof was brought to my attention. I hope to repair and re-post at a later date

Subjects: Logic (math.LO)

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

Title: Multi-level Nonstandard Analysis and the Axiom of Choice

Karel Hrbacek

Journal-ref: Journal of Logic & Analysis 16:5 (2024) 1-29; Errata: Journal of Logic & Analysis 16:5c (2024) 1-3

Subjects: Logic (math.LO)

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

Title: Complexities of Theories of Profinite Subgroups of $S_ω$ via Tree Presentations

Jason Block

Comments: Accepted to appear in the 2024 Computability in Europe proceedings volume in the Lecture Notes in Computer Science (LNCS) series from Springer-Verlag

Journal-ref: CiE 2024, LNCS 14773, pp. 366-376, 2024

Subjects: Logic (math.LO)

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

Title: Measurable Brooks's Theorem for Directed Graphs

Cecelia Higgins

Comments: 18 pages. Typos and references corrected

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

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

Title: Unified inverse correspondence for LE-logics

Alessandra Palmigiano, Mattia Panettiere

Subjects: Logic (math.LO)

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

Title: Algebraic types in Zilber's exponential field

Vahagn Aslanyan, Jonathan Kirby

Comments: Minor revisions

Journal-ref: Model Th. 4 (2025) 37-54

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

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

Title: Zilber's Trichotomy in Hausdorff Geometric Structures

Benjamin Castle, Assaf Hasson, Jinhe Ye

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

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

Title: On Probabilistic and Causal Reasoning with Summation Operators

Duligur Ibeling, Thomas F. Icard, Milan Mossé

Subjects: Logic (math.LO); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

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

Title: Weak diamond and pcf theory

Shimon Garti

Subjects: Logic (math.LO)

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

Title: On the categoricity of complete second order theories

Tapio Saarinen, Jouko Väänänen, William Hugh Woodin

Subjects: Logic (math.LO)

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

Title: Axiomatizing the Logic of Ordinary Discourse

Vitor Greati, Sérgio Marcelino, Umberto Rivieccio

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

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

Title: MV-frames

Jean B Nganou

Comments: 14 pages

Subjects: Logic (math.LO)

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

Title: On Model Theory of Second-Order Objects

Tapani Hyttinen, Joni Puljujärvi, Davide Emilio Quadrellaro

Subjects: Logic (math.LO)

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

Title: On the representation of C-recursive integer sequences by arithmetic terms

Mihai Prunescu, Lorenzo Sauras-Altuzarra

Comments: 20 pages

Subjects: Logic (math.LO)

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

Title: The computational content of multidimensional discontinuity

Rupert Hölzl, Keng Meng Ng

Subjects: Logic (math.LO)

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

Title: Nonstandard arguments for results about infinite systems of equations in infinitely many variables

David A. Ross

Subjects: Logic (math.LO)

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

Title: On Geometric Implications

Amirhossein Akbar Tabatabai

Comments: 32 pages

Subjects: Logic (math.LO)

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

Title: Kripke-like models of Set Theory in Modal Residuated Logic

Jose Moncayo, Pedro H. Zambrano

Subjects: Logic (math.LO)

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

Title: A note on the theory of well orders

Emil Jeřábek

Comments: 4 pages; accepted to the Bulletin of Symbolic Logic

Journal-ref: Bull. symb. log 30 (2024) 538-542

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

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

Title: Binding groups for algebraic dynamics

Moshe Kamensky, Rahim Moosa

Comments: 40 pages

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

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

Title: Uniform local weak o-minimality and $*$-local weak o-minimality

Masato Fujita

Subjects: Logic (math.LO)

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

Title: Sometimes tame, sometimes wild: weak continuity

Sam Sanders

Comments: 21 pages, to appear in tbe Bulletin of the London Mathematical Society

Subjects: Logic (math.LO)

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

Title: Possibility Semantics

Wesley H. Holliday

Comments: Previous version in Selected Topics from Contemporary Logics, ed. Melvin Fitting, Volume 2 of Landscapes in Logic, College Publications, London, 2021, ISBN 97-1-84890-350-0, pp. 363-476. This version corrects Section 4.3

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

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

Title: Dimensionality and randomness

George Barmpalias, Xiaoyan Zhang

Subjects: Logic (math.LO); Discrete Mathematics (cs.DM); Information Theory (cs.IT)

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

Title: Definable compactness in o-minimal structures

Pablo andújar Guerrero

Comments: This is a round-up of the topological content of arXiv:2111.03802

Journal-ref: Model Th. 4 (2025) 101-130

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