Logic

Authors and titles for recent submissions, skipping first 22

[ total of 28 entries: 1-10 | 3-12 | 13-22 | 23-28 ]
[ showing 10 entries per page: fewer | more | all ]

[23] arXiv:2512.04762 [pdf, ps, other]: Title: Maehara Interpolation in Extensions of R-mingle

Authors: Wesley Fussner, Krzysztof Krawczyk

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[24] arXiv:2512.04896 (cross-list from math.NT) [pdf, ps, other]: Title: Existentially defining valuations in function fields over large fields

Authors: Nicolas Daans

Comments: preprint, 20 pages

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

[25] 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)
[26] arXiv:2512.03576 [pdf, ps, other]: Title: Upside down and backwards

Authors: Kyle Gannon, Tomasz Rzepecki

Comments: 33 pages excl. references

Subjects: Logic (math.LO); Dynamical Systems (math.DS); Group Theory (math.GR)
[27] arXiv:2512.03386 [pdf, ps, other]: Title: Perfect set dichotomy theorem in generalized Solovay model

Authors: Hiroshi Sakai, Toshimasa Tanno

Comments: 24pages

Subjects: Logic (math.LO)
[28] arXiv:2512.03259 [pdf, ps, other]: Title: A joint logic of problems and propositions

Authors: Sergey A. Melikhov

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)

[ total of 28 entries: 1-10 | 3-12 | 13-22 | 23-28 ]
[ showing 10 entries per page: fewer | more | all ]