How about taking a substructure B with and using problem 2.2.18 from your previous post? If the language had functional symbols, then the substructure generated by a finite number of elements may still have an infinite domain. E.g., the substructure of natural numbers with the successor function that contains 0 still has to contain all natural numbers.

For (b), consider again natural numbers where is .