# Permutation models with a class-sized group

I'm working on building a model of ZF where a very weak choice principle fails, in so much as in any permutation model with a set of atoms it is inconsistent that this principle fails.

To get a feel for the sort of results around this sort of construction can someone point me to permutation models in the literature which use a class-sized group?

I'm aware of Blass' paper on SVC, but little else.

-
Also, while not permutation per se, Monro constructs via symmetric class forcing a Dedekind-finite proper class (that is a class that every function into $\omega$ is bounded). You may find this proof in Independence results concerning Dedekind-finite sets (J. Austral. Math. Soc. 19 (1975), 35–46).