Logic

Authors and titles for recent submissions

[ total of 14 entries: 1-14 ]
[ showing up to 25 entries per page: fewer | more ]

[1] arXiv:2405.03604 [pdf, ps, other]: Title: MV-frames

Authors: Jean B Nganou

Comments: 14 pages

Subjects: Logic (math.LO)
[2] arXiv:2405.03543 [pdf, other]: Title: Axiomatizing the Logic of Ordinary Discourse

Authors: Vitor Greati, Sérgio Marcelino, Umberto Rivieccio

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[3] arXiv:2405.03428 [pdf, ps, other]: Title: On the categoricity of complete second order theories

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

Subjects: Logic (math.LO)
[4] arXiv:2405.03142 [pdf, ps, other]: Title: Weak diamond and pcf theory

Authors: Shimon Garti

Subjects: Logic (math.LO)
[5] arXiv:2405.03069 [pdf, ps, other]: Title: On Probabilistic and Causal Reasoning with Summation Operators

Authors: 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)

[6] arXiv:2405.02209 [pdf, ps, other]: Title: Zilber's Trichotomy in Hausdorff Geometric Structures

Authors: Benjamin Castle, Assaf Hasson, Jinhe Ye

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

[7] arXiv:2405.01399 [pdf, ps, other]: Title: Algebraic types in Zilber's exponential field

Authors: Vahagn Aslanyan, Jonathan Kirby

Subjects: Logic (math.LO); Number Theory (math.NT)
[8] arXiv:2405.01262 [pdf, ps, other]: Title: Unified inverse correspondence for LE-logics

Authors: Alessandra Palmigiano, Mattia Panettiere

Subjects: Logic (math.LO)
[9] arXiv:2405.00991 [pdf, ps, other]: Title: Measurable Brooks's Theorem for Directed Graphs

Authors: Cecelia Higgins

Comments: 19 pages

Subjects: Logic (math.LO); Combinatorics (math.CO)
[10] arXiv:2405.00840 [pdf, ps, other]: Title: Complexities of Theories of Profinite Subgroups of $S_ω$ via Tree Presentations

Authors: 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

Subjects: Logic (math.LO)
[11] arXiv:2405.00758 (cross-list from math.CO) [pdf, ps, other]: Title: Courcelle's Theorem: A Self-Contained Proof and a Path-Width Variant

Authors: Adrian Rettich

Comments: 252 pages, master's thesis

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

[12] arXiv:2405.00621 [pdf, ps, other]: Title: Multi-level Nonstandard Analysis and the Axiom of Choice

Authors: Karel Hrbacek

Subjects: Logic (math.LO)
[13] arXiv:2405.00618 [pdf, ps, other]: Title: An axiomatisation of the temporal logic of two dimensional Minkowski spacetime

Authors: Robin Hirsch

Subjects: Logic (math.LO)

[14] arXiv:2404.18974 [pdf, ps, other]: Title: $Π^0_4$ conservation of Ramsey's theorem for pairs

Authors: Quentin Le Houérou, Ludovic Levy Patey, Keita Yokoyama

Comments: 36 pages

Subjects: Logic (math.LO)

[ total of 14 entries: 1-14 ]
[ showing up to 25 entries per page: fewer | more ]