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)

[26]  arXiv:2403.09329 [pdf, ps, other]

Title: On ultrafilters in ZF models and indecomposable ultrafilters

Authors: Eilon Bilinsky, Moti Gitik

Subjects: Logic (math.LO)

[27]  arXiv:2403.09921 [pdf, other]

Title: Fregean Flows

Authors: Eric Easthope

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

[28]  arXiv:2403.10280 [pdf, ps, other]

Title: Almost sure OTM-realizability

Authors: Merlin Carl

Subjects: Logic (math.LO)

[29]  arXiv:2403.11326 [pdf, ps, other]

Title: Borel Complexity of the Isomorphism Relation of Archimedean Orders in Finitely Generated Groups

Authors: Antoine Poulin

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

[30]  arXiv:2403.12272 [pdf, ps, other]

Title: Serial Properties, Selector Proofs, and the Provability of Consistency

Authors: Sergei Artemov

Subjects: Logic (math.LO)

[31]  arXiv:2403.13143 [pdf, ps, other]

Title: On sequential theorems in Reverse Mathematics

Authors: Dag Normann, Sam Sanders

Comments: 16 pages plus references

Subjects: Logic (math.LO)

[32]  arXiv:2403.13527 [pdf, ps, other]

Title: The global $Σ^1_{n+1}$-Uniformization Property and $\mathsf{BPFA}$

Authors: Stefan Hoffelner

Subjects: Logic (math.LO)

[33]  arXiv:2403.13616 [pdf, ps, other]

Title: Evaluative presentations

Authors: Timothy H. McNicholl

Subjects: Logic (math.LO)

[34]  arXiv:2403.13617 [pdf, ps, other]

Title: Interpolation in Hájek's Basic Logic

Authors: Wesley Fussner, Simon Santschi

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

[35]  arXiv:2403.14026 [pdf, other]

Title: Modal reduction principles: a parametric shift to graphs

Authors: Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere

Subjects: Logic (math.LO)

[36]  arXiv:2403.14043 [pdf, ps, other]

Title: Modal logic, fundamentally

Authors: Wesley H. Holliday

Comments: Fixed typos. 22 pages, 8 figures

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

[37]  arXiv:2403.14815 [pdf, ps, other]

Title: Proxy principles in combinatorial set theory

Authors: Ari Meir Brodsky, Assaf Rinot, Shira Yadai

Subjects: Logic (math.LO)

[38]  arXiv:2403.14900 [pdf, ps, other]

Title: Splitting differential equations using Galois theory

Authors: Christine Eagles, Léo Jimenez

Comments: 39 pages. The characterization of splitting given in the previous version (Theorem A) had a gap in its proof. We fix the proof using a mild additional assumption. The new characterization is now given in Theorem B. Other minor changes

Subjects: Logic (math.LO)

[39]  arXiv:2403.15300 [pdf, ps, other]

Title: Hyperbolicity and model-complete fields

Authors: Michał Szachniewicz, Jinhe Ye

Comments: 23 pages

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

[40]  arXiv:2403.15904 [pdf, ps, other]

Title: On a relation between $λ$-full well-ordered sets and weakly compact cardinals

Authors: Gabriele Gullà

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

[41]  arXiv:2403.15939 [pdf, ps, other]

Title: Cyclic Group Spectra for Some Small Relation Algebras

Authors: Jeremy F. Alm, Ashlee Bostic, Claire Chenault, Kenyon Coleman, Chesney Culver

Subjects: Logic (math.LO); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[42]  arXiv:2403.16027 [pdf, other]

Title: Many-one reducibility with realizability

Authors: Takayuki Kihara

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

[43]  arXiv:2403.16181 [pdf, ps, other]

Title: Back-and-forth equivalent group von Neumann algebras

Authors: Isaac Goldbring, Matthew Harrison-Trainor

Comments: 30 pages; first draft; comments welcome!

Subjects: Logic (math.LO); Operator Algebras (math.OA)

[44]  arXiv:2403.16762 [pdf, ps, other]

Title: Foulis-Holland theorem for implicative-orthomodular lattices

Authors: Lavinia Corina Ciungu

Subjects: Logic (math.LO)

[45]  arXiv:2403.17026 [pdf, ps, other]

Title: A synthetic overview on some known characterizations of Woodin cardinals

Authors: Gabriele Gullà

Subjects: Logic (math.LO)

[46]  arXiv:2403.17027 [pdf, ps, other]

Title: Some observations on a result by Bialinicki-Birula and Zelazko

Authors: Gabriele Gullà

Subjects: Logic (math.LO)

[47]  arXiv:2403.17153 [pdf, other]

Title: Unification in subsystem J$_2$ of provability logic GLB

Authors: N.V. Lukashov

Comments: In Russian, 20 pages

Subjects: Logic (math.LO)

[48]  arXiv:2403.17340 [pdf, ps, other]

Title: Uniform Preorders and Partial Combinatory Algebras

Authors: Jonas Frey

Comments: 21 pages

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

[49]  arXiv:2403.17478 [pdf, ps, other]

Title: C-minimal fields have the exchange property

Authors: Will Johnson

Comments: 41 pages

Subjects: Logic (math.LO)

[50]  arXiv:2403.17493 [pdf, ps, other]

Title: Learning Equivalence Relations on Polish Spaces

Authors: Dino Rossegger, Theodore Slaman, Tomasz Steifer

Subjects: Logic (math.LO)