Pages that link to "Item:Q998140"
From MaRDI portal
The following pages link to The Borel complexity of isomorphism for theories with many types (Q998140):
Displaying 7 items.
- The complexity of isomorphism for complete theories of linear orders with unary predicates (Q527333) (← links)
- The isomorphism relation of theories with S-DOP in the generalised Baire spaces (Q2067635) (← links)
- The Complexity of Classification Problems for Models of Arithmetic (Q3163661) (← links)
- THE BOREL COMPLEXITY OF ISOMORPHISM FOR O-MINIMAL THEORIES (Q4977215) (← links)
- MOST(?) THEORIES HAVE BOREL COMPLETE REDUCTS (Q5879190) (← links)
- CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS (Q6180614) (← links)
- Strong reducibilities and set theory (Q6652035) (← links)