Logic

Authors and titles for math.LO in Mar 2024, skipping first 25

[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)