Skip to main content
8 events
when toggle format what by license comment
Dec 21, 2019 at 10:14 answer added YCor timeline score: 6
Dec 18, 2019 at 23:42 history became hot network question
Dec 18, 2019 at 16:24 answer added Tim Campion timeline score: 17
Dec 18, 2019 at 15:57 history edited Tim Campion CC BY-SA 4.0
added 11 characters in body
Dec 18, 2019 at 15:53 comment added Tim Campion @JoelDavidHamkins Ah, good point. I should definitely specify "non-isomorphic", and indeed, I really do just mean "arbitrarily large". I suppose I tend to forget about this subtlety -- I think my usual implicit mathematical metatheory is ZFC + universes, but with "class" meaning "bigger than some fixed universe".
Dec 18, 2019 at 15:51 comment added Joel David Hamkins This is probably unimportant, but your formulation of the question is sensitive to class-theoretic issues. I guess you mean a proper class of pairwise non-isomorphic such groups? Depending on your set-theoretic framework and issue of global choice, this is not necessarily the same as saying that there are arbitrarily large such groups (since you have to pick them, which is not AC but global AC). But with global choice, this issue evaporates. But perhaps simpler just to ask, as in your title: are there arbitrarily large such groups?
Dec 18, 2019 at 15:46 history edited Tim Campion CC BY-SA 4.0
added 82 characters in body
Dec 18, 2019 at 15:40 history asked Tim Campion CC BY-SA 4.0