1 paper · 2 filters
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…