[net.math] Decideability problem

cbostrum (04/10/83)

I am about to attempt to figure out whether it is decideable or not
if a first order theory has a minimal model (up to isomorphism).
minimal model being one where no substructure is also a model.
before i crack my head, does anybody know about this? i suspect that
it will fall to rices theorem...