Symmetric submodels of a cohen generic extension

Blass, 1977, A model without ultrafilters, Bull. Acad. Polon. Sci., 25, 329 Blass, 1981, The model of Set Theory generated by countably many generic reals, J. Symbolic logic, 46, 732, 10.2307/2273223 Chang, 1974, Sets constructible using LKK, Proc. Sympos. Pure Math., 13, 1 Feferman, 1964, Independence of AC from DC (abstract), J. Symbolic Logic, 29, 226 Feferman, 1965, Some applications of the nations of forcing and generic sets, Fund. Math., 56, 345 Grigorieff, 1975, Intermediate submodels and generic extensions in Set Theory, Ann. of Math., 101, 447, 10.2307/1970935 Jech, 1971, On models for set theory without AC, 13, 135 Jech, 1973, The Axiom of Choice, 75 Jech, 1978 Jech, 1986, Multiple Forcing, 88 Kunen, 1980, Set Theory, 102 Mathias, 1977, Happy families, Ann. Math. Logic, 12, 59, 10.1016/0003-4843(77)90006-7 Pincus, 1977, Definability of measures and ultrafilters, J. Symbolic Logic, 42, 179, 10.2307/2272118 Sureson, 1991, About Prikry generic extensions, Ann. Pure Appl. Logic, 51, 247, 10.1016/0168-0072(91)90018-H