MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

share|cite|improve this question
up vote 7 down vote accepted

Jech's The Axiom of Choice has a couple class permutation models, a review shows theorem 11.2, as well Problems 9.3, 9.4 which you may want to examine (they talk about Injection Principle and Surjection principles from classes to sets, and the failure of them)

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).

share|cite|improve this answer
I also meant to ask about symmetric models with class-sized group, but some other stuff I read made me think that actually I was asking the wrong questions. – David Roberts Dec 19 '11 at 3:18

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.