Some prime elements in the lattice of interpretability types (1983)

by P Pudlak