SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC