The Single Profile Analogues to Multi- Profile Theorems: Mathematical Logic's Approach (Now published in International Economic Review, (1984) pp.719-730.)