Young, Jessica Millar, 1973-
(Massachusetts Institute of Technology, 2001)
A set S of types over a theory T is strongly free if for all subsets X [strict subset] S, there is a countable model of T which realizes X and omits S\X. Throughout, all theories are assumed complete and consistent unless ...