most citedThe Borel complexity of the class of models of first-order theories

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

math.LO2024★ 1 cited

The Borel complexity of the class of models of first-order theories

Uri Andrews, David Gonzalez, Steffen Lempp +2

We investigate the descriptive complexity of the set of models of first-order theories. Using classical results of Knight and Solovay, we give a sharp condition for complete theori…