Trivial, strongly minimal theories are model complete after naming constants Academic Article uri icon