Logic

Authors and titles for math.LO in Jan 2020, skipping first 10

[11]  arXiv:2001.01528 [pdf, ps, other]

Title: A criterion for uniform finiteness in the imaginary sorts

Authors: Will Johnson

Comments: 6 pages

Subjects: Logic (math.LO)

[12]  arXiv:2001.01881 [pdf, ps, other]

Title: Completely determined Borel sets and measurability

Authors: Linda Westrick

Comments: 19 pages, minor revisions

Subjects: Logic (math.LO)

[13]  arXiv:2001.02124 [pdf, ps, other]

Title: A note on $δ$-strongly compact cardinals

Authors: Toshimichi Usuba

Comments: arXiv admin note: text overlap with arXiv:1709.07991

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

[14]  arXiv:2001.02415 [pdf, ps, other]

Title: Forking and Dividing in Fields with Several Orderings and Valuations

Authors: Will Johnson

Comments: 41 pages; dissertation chapter

Subjects: Logic (math.LO)

[15]  arXiv:2001.02648 [pdf, ps, other]

Title: Sofic profiles of $S(ω)$ and computability

Authors: A. Ivanov

Comments: This is a revised version of the paper, 21 pages

Journal-ref: Archive for Mathematical Logic, 2021

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

[16]  arXiv:2001.03105 [pdf, ps, other]

Title: Aronszajn tree preservation and bounded forcing axioms

Authors: Gunter Fuchs

Journal-ref: J. symb. log. 86 (2021) 293-315

Subjects: Logic (math.LO)

[17]  arXiv:2001.03533 [pdf, ps, other]

Title: The two-sorted algebraic theory of states, and the universal states of MV-algebras

Authors: Tomáš Kroupa, Vincenzo Marra

Subjects: Logic (math.LO)

[18]  arXiv:2001.04182 [pdf, ps, other]

Title: Canonical extensions of lattices are more than perfect

Authors: Andrew P. K. Craig, Maria J. Gouveia, Miroslav Haviar

Subjects: Logic (math.LO)

[19]  arXiv:2001.04424 [pdf, ps, other]

Title: Decidability via the tilting correspondence

Authors: Konstantinos Kartas

Comments: Final version. Local improvements following suggestions from a study group that took place at Fields Institute in Fall 2021 and two referee reports

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

[20]  arXiv:2001.05262 [pdf, ps, other]

Title: Bi-interpretation in weak set theories

Authors: Alfredo Roque Freire, Joel David Hamkins

Comments: 25 pages. Commentary can be made about this article on the second author's blog at this http URL Version 2 corrects the author order to alphabetical and makes some minor inclusions regarding the difference between solidity and semantic tightness and the mutual interpretation of a model of set theory with the theory of its forcing extensions

Subjects: Logic (math.LO)