3 papers
math.LO2025
Equivalents of NOTOP
Michael C. Laskowski, Danielle S. Ulrich
Working within the context of countable, superstable theories, we give many equivalents of a theory having NOTOP. In particular, NOTOP is equivalent to V-DI, the assertion that any…
math.LO2024
Characterizing Borel Isomorphism Among Some Weakly Minimal Trivial Theories
Danielle Ulrich
We characterize having Borel isomorphism relation among some weakly minimal trivial theories, namely the examples of families of finite equivalence relations from recent joint work…
math.LO2022
Borel complexity of modules
Michael C. Laskowski, Danielle S. Ulrich
We prove that for a countable, commutative ring , the class of countable -modules either has only countably many isomorphism types, or else it is Borel complete. The machiner…