We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic

Authors and titles for recent submissions, skipping first 9

[ total of 34 entries: 1-10 | 10-19 | 20-29 | 30-34 ]
[ showing 10 entries per page: fewer | more | all ]

Thu, 4 Dec 2025

[10]  arXiv:2512.03778 [pdf, ps, other]
Title: Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
Authors: Yong Liu, Cheng Peng
Subjects: Logic (math.LO)
[11]  arXiv:2512.03576 [pdf, ps, other]
Title: Upside down and backwards
Comments: 33 pages excl. references
Subjects: Logic (math.LO); Dynamical Systems (math.DS); Group Theory (math.GR)
[12]  arXiv:2512.03386 [pdf, ps, other]
Title: Perfect set dichotomy theorem in generalized Solovay model
Comments: 24pages
Subjects: Logic (math.LO)
[13]  arXiv:2512.03259 [pdf, ps, other]
Title: A joint logic of problems and propositions
Comments: 18 pages, 1 figure. This note is a short communication on the author's preprints arXiv:1312.2575v5, arXiv:1504.03379v5, aiming at a more readable exposition of their main ideas and results
Journal-ref: Dokl. Math. 109 (2024) 130-139; Russian translation: Dokl. RAN (Mat., inf., proc. upr.), 516 (2024), 38-50
Subjects: Logic (math.LO)

Wed, 3 Dec 2025

[14]  arXiv:2512.02725 [pdf, ps, other]
Title: Transcendence degrees over mutually generic extensions
Comments: 7 pages
Subjects: Logic (math.LO)
[15]  arXiv:2512.02545 [pdf, ps, other]
Title: On the problem of stability of abstract elementary classes of modules
Subjects: Logic (math.LO)
[16]  arXiv:2512.02355 [pdf, ps, other]
Title: Fundamental groups and descriptive set theory
Authors: Fanxin Wu
Subjects: Logic (math.LO); Algebraic Topology (math.AT)
[17]  arXiv:2512.02041 [pdf, ps, other]
Title: Logic of Sets with Atoms
Authors: Jake Masters
Comments: Master's Thesis, 81 pages, 1 figure
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[18]  arXiv:2512.02039 [pdf, ps, other]
Title: Local-Order-Invariant Logic on Classes of Bounded Degree
Authors: Derek Aoki
Comments: 15 pages, 4 pages of appendices
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[19]  arXiv:2512.02045 (cross-list from math.HO) [pdf, ps, other]
Title: On a form of intrinsic optimism in Set Theory
Authors: M. Muñoz Pérez
Subjects: History and Overview (math.HO); Logic (math.LO)
[ total of 34 entries: 1-10 | 10-19 | 20-29 | 30-34 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, new, 2512, contact, help  (Access key information)