Logic

Authors and titles for recent submissions, skipping first 7

[ total of 34 entries: 1-5 | 3-7 | 8-12 | 13-17 | 18-22 | 23-27 | ... | 33-34 ]
[ showing 5 entries per page: fewer | more | all ]

[8] 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)
[9] 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)

[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

Authors: Kyle Gannon, Tomasz Rzepecki

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

Authors: Hiroshi Sakai, Toshimasa Tanno

Comments: 24pages

Subjects: Logic (math.LO)

[ total of 34 entries: 1-5 | 3-7 | 8-12 | 13-17 | 18-22 | 23-27 | ... | 33-34 ]
[ showing 5 entries per page: fewer | more | all ]