[FOM] Universe-sized groups with only set-sized normal subgroups

[David Roberts]

Let k be an inaccessible cardinal, G a group with |G| ≥ k. Say G is
k-simple if for all normal N < G, |N| < k. Can we construct a k-simple
group? Can we force this?

David Roberts
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20111120/79a765bd/attachment.html>