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.
