Logic

Authors and titles for math.LO in Mar 2024

[1]  arXiv:2403.00217 [pdf, other]

Title: Homomorphism Preservation Theorems for Many-Valued Structures

Authors: James Carr

Comments: 22 pages

Subjects: Logic (math.LO)

[2]  arXiv:2403.00659 [pdf, ps, other]

Title: Proof mining and probability theory

Authors: Morenikeji Neri, Nicholas Pischke

Comments: 47 pages

Subjects: Logic (math.LO); Probability (math.PR)

[3]  arXiv:2403.01274 [pdf, ps, other]

Title: Modal weak Kleene logics: axiomatizations and relational semantics

Authors: Stefano Bonzio, Nicolò Zamperlin

Subjects: Logic (math.LO)

[4]  arXiv:2403.01617 [pdf, ps, other]

Title: On fresh sets in iterations of Prikry type forcing notions

Authors: Moti Gitik, Eyal Kaplan

Subjects: Logic (math.LO)

[5]  arXiv:2403.02488 [pdf, ps, other]

Title: Torsion-free abelian groups of finite rank and fields of finite transcendence degree

Authors: Meng-Che "Turbo" Ho, Julia Knight, Russell Miller

Comments: 27 pages

Subjects: Logic (math.LO)

[6]  arXiv:2403.02492 [pdf, ps, other]

Title: Two results on complexities of decision problems of groups

Authors: Uri Andrews, Matthew Harrison-Trainor, Meng-Che "Turbo" Ho

Comments: 12 pages

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

[7]  arXiv:2403.03110 [pdf, ps, other]

Title: On two consequences of CH established by Sierpinski. II

Authors: Roman Pol, Piotr Zakrzewski

Subjects: Logic (math.LO)

[8]  arXiv:2403.03148 [pdf, ps, other]

Title: Obligations and permissions, algebraically

Authors: Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang

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

Subjects: Logic (math.LO)

[9]  arXiv:2403.04043 [pdf, ps, other]

Title: Length Functions and the Dimension of Points in Self-Similar Fractal Trees

Authors: Christopher P. Porter

Journal-ref: IEEE Transactions on Information Theory, Volume 69, Issue 10, October 2023

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

[10]  arXiv:2403.04047 [pdf, ps, other]

Title: Continuous Randomness via Transformations of 2-Random Sequences

Authors: Christopher P. Porter

Journal-ref: Information and Computation, Volume 292, June 2023

Subjects: Logic (math.LO)

[11]  arXiv:2403.04254 [pdf, other]

Title: Finite final segments of the d.c.e. Turing degrees

Authors: Steffen Lempp, Yiqun Liu, Yong Liu, Keng Meng Ng, Cheng Peng, Guohua Wu

Subjects: Logic (math.LO)

[12]  arXiv:2403.05099 [pdf, ps, other]

Title: Generation and decidability for periodic l-pregroups

Authors: Nikolaos Galatos, Isis A. Gallardo

Subjects: Logic (math.LO)

[13]  arXiv:2403.06334 [pdf, other]

Title: Topological product of modal logics with the McKinsey axiom

Authors: Andrey Kudinov

Subjects: Logic (math.LO)

[14]  arXiv:2403.06704 [pdf, other]

Title: Proof complexity of universal algebra in a CSP dichotomy proof

Authors: Azza Gaysin

Subjects: Logic (math.LO)

[15]  arXiv:2403.06887 [pdf, ps, other]

Title: Admissibility of the Structural Rules in the Sequent Calculus with Equality

Authors: Franco Parlamento, Flavio Previale

Comments: 25 pages

Subjects: Logic (math.LO)

[16]  arXiv:2403.07484 [pdf, ps, other]

Title: The Nikodym property and filters on $ω$

Authors: Tomasz Żuchowski

Comments: 24 pages

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

[17]  arXiv:2403.07616 [pdf, other]

Title: On some Fraisse limits with free amalgamation

Authors: Yvon Bossut

Subjects: Logic (math.LO)

[18]  arXiv:2403.07948 [pdf, other]

Title: A Study on Actions for Atomic Logics

Authors: Raül Espejo-Boix

Comments: Master's thesis

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

[19]  arXiv:2403.08039 [pdf, ps, other]

Title: On closed definable subsets in Hensel minimal structures

Authors: Krzysztof Jan Nowak

Comments: a comment added

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

[20]  arXiv:2403.09015 [pdf, ps, other]

Title: The Axiom of Choice in the $κ$-Mantle

Authors: Andreas Lietz

Subjects: Logic (math.LO)

[21]  arXiv:2403.09018 [pdf, ps, other]

Title: An Iteration Theorem for $ω_1$-preserving Forcings

Authors: Andreas Lietz

Subjects: Logic (math.LO)

[22]  arXiv:2403.09020 [pdf, ps, other]

Title: Forcing "$\mathrm{NS}_{ω_1}$ is $ω_1$-dense" From Large Cardinals

Authors: Andreas Lietz

Subjects: Logic (math.LO)

[23]  arXiv:2403.09119 [pdf, ps, other]

Title: Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss

Authors: Daniil Kozhemiachenko

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

[24]  arXiv:2403.09137 [pdf, ps, other]

Title: Non-distributive relatives of ETL and NFL

Authors: Daniil Kozhemiachenko

Subjects: Logic (math.LO)

[25]  arXiv:2403.09304 [pdf, ps, other]

Title: The Existential Closedness and Zilber-Pink Conjectures

Authors: Vahagn Aslanyan

Comments: This paper is dedicated to Boris Zilber on the occasion of his 75th birthday

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