Logic

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

[51]  arXiv:2403.17684 [pdf, ps, other]

Title: Omega-categorical pseudofinite groups

Authors: Dugald Macpherson, Katrin Tent

Comments: 13 pages

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

[52]  arXiv:2403.17922 [pdf, ps, other]

Title: Proofs that Modify Proofs

Authors: Henry Towsner

Comments: Work in progress

Subjects: Logic (math.LO)

[53]  arXiv:2403.17930 [pdf, ps, other]

Title: Reduced Products of Collapsing Algebras

Authors: Miloš S. Kurilić

Comments: 26 pages

Subjects: Logic (math.LO)

[54]  arXiv:2403.18315 [pdf, ps, other]

Title: Topological Vector Spaces: a non-standard approach with monads and galaxies

Authors: Niels Charlier, Hans Vernaeve

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

[55]  arXiv:2403.19327 [pdf, ps, other]

Title: Barely alternating real almost chains and extension operators for compact lines

Authors: Antonio Avilés, Maciej Korpalski

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

[56]  arXiv:2403.19367 [pdf, ps, other]

Title: Truth and collection

Authors: Bartosz Wcisło

Comments: 32 pages

Subjects: Logic (math.LO)

[57]  arXiv:2403.19431 [pdf, ps, other]

Title: Base-extension Semantics for S5 Modal Logic

Authors: Timo Eckhardt, David Pym

Comments: Submitted to AIML 2024

Subjects: Logic (math.LO)

[58]  arXiv:2403.19525 [pdf, ps, other]

Title: Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic

Authors: Mojtaba Mojtahedi, Konstantinos Papafilippou

Subjects: Logic (math.LO)

[59]  arXiv:2403.19772 [pdf, ps, other]

Title: Choice axioms and Postnikov completeness

Authors: Mathieu Anel, Reid Barton

Comments: v2 improved somme lemmas, added some remarks

Subjects: Algebraic Topology (math.AT); Category Theory (math.CT); Logic (math.LO)

[60]  arXiv:2403.19978 [pdf, ps, other]

Title: Algorithmic Randomness, Effective Disintegrations, and Rates of Convergence to the Truth

Authors: Simon M. Huttegger, Sean Walsh, Francesca Zaffora Blando

Comments: A few typos in intro section fixed

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

[61]  arXiv:2403.20270 [pdf, ps, other]

Title: Mekler's Construction and Murphy's Law for 2-Nilpotent Groups

Authors: Blaise Boissonneau, Aris Papadopoulos, Pierre Touchard

Comments: 45 pages. Preliminary version, comments welcome!

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

[62]  arXiv:2403.00205 (cross-list from math.GN) [pdf, ps, other]

Title: A Wallace semigroup whose every finite power is countably compact

Authors: Juan Luis Jaisuño Fuentes-Maguiña, Vinicius de Oliveira Rodrigues, Artur Hideyuki Tomita

Comments: Some typos fixed

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

[63]  arXiv:2403.01939 (cross-list from math.CT) [pdf, other]

Title: A Type Theory with a Tiny Object

Authors: Mitchell Riley

Comments: 29 pages

Subjects: Category Theory (math.CT); Programming Languages (cs.PL); Logic (math.LO)

[64]  arXiv:2403.03085 (cross-list from math.CT) [pdf, ps, other]

Title: A 2-categorical analysis of context comprehension

Authors: Greta Coraglia, Jacopo Emmenegger

Comments: 29 paqes. v2: only formatting changes (numbering dependent on sections)

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

[65]  arXiv:2403.03164 (cross-list from math.AG) [pdf, ps, other]

Title: A remark on $\mathscr{C}^\infty$ definable equivalence

Authors: Anna Valette, Guillaume Valette

Comments: Final version

Journal-ref: Annales Polonici Mathematici vol. 131.1 (2023), 79-84

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

[66]  arXiv:2403.03647 (cross-list from math.CT) [pdf, ps, other]

Title: The elementary theory of the 2-category of small categories

Authors: Calum Hughes, Adrian Miranda

Comments: v2. 37 pages. Updated definition of 2D natural numbers object in order to give it a genuine 2D universal property. Other minor changes following referee report including some reorganisation of material for better flow. To appear in the Theory and Applications of Categories special volume for Bill Lawvere

Subjects: Category Theory (math.CT); Logic (math.LO)

[67]  arXiv:2403.04375 (cross-list from math.GR) [pdf, ps, other]

Title: Ranked definably linear quasi-Frobenius groups

Authors: Samuel Zamour

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

[68]  arXiv:2403.04393 (cross-list from math.CO) [pdf, ps, other]

Title: The classification of homomorphism homogeneous oriented graphs

Authors: Bojana Pavlica, Christian Pech, Maja Pech

Comments: 17 pages

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

[69]  arXiv:2403.05508 (cross-list from math.GN) [pdf, ps, other]

Title: On maximal nowhere dense sublocales

Authors: Mbekezeli Nxumalo

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

[70]  arXiv:2403.05827 (cross-list from math.RA) [pdf, other]

Title: Automorphisms and derivations on algebras endowed with formal infinite sums

Authors: Vincent Bagayoko, Lothar Sebastian Krapp, Salma Kuhlmann, Daniel Panazzolo, Michele Serra

Comments: 38 pages, 2 figures

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

[71]  arXiv:2403.07368 (cross-list from math.GR) [pdf, ps, other]

Title: Groups with infinite linearly ordered products

Authors: Vincent Bagayoko

Comments: 30 pages

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

[72]  arXiv:2403.08072 (cross-list from math.OA) [pdf, other]

Title: On conjugacy and perturbation of subalgebras

Authors: David Gao, Srivatsav Kunnawalkam Elayavalli, Gregory Patchell, Hui Tan

Comments: Comments welcome! 21 pages

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

[73]  arXiv:2403.08087 (cross-list from math.CT) [pdf, ps, other]

Title: Hochschild cohomology in toposes

Authors: Cameron Michie, Ivan Tomasic

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

[74]  arXiv:2403.08190 (cross-list from math.CT) [pdf, ps, other]

Title: Generalized Chevalley criteria in simplicial homotopy type theory

Authors: Jonathan Weinberger

Comments: 19 pages. This text is based on Appendix A from author's PhD thesis arXiv:2202.13132. Comments welcome!

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

[75]  arXiv:2403.08667 (cross-list from math.DS) [pdf, other]

Title: Surfaces and other Peano Continua with no Generic Chains

Authors: Gianluca Basso, Alessandro Codenotti, Andrea Vaccaro

Comments: 38 pages, 3 figures. Typos and minor changes in presentation, including new abstract

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