Skip to main content
8 events
when toggle format what by license comment
Jan 4 at 16:56 history edited Joel David Hamkins CC BY-SA 4.0
added 67 characters in body
Jan 4 at 16:51 history edited Joel David Hamkins CC BY-SA 4.0
added 67 characters in body
Jan 4 at 16:46 comment added Joel David Hamkins Yes, I'm thinking it might be modifiable for bijective. But there are a few interferring obstacles... Perhaps someone else will figure it out?
Jan 4 at 16:45 comment added vidyarthi Thanks! And how about bijective. Will this construction not work (albeit with essential modifications)?
Jan 4 at 16:44 comment added Joel David Hamkins @LSpice Thanks, I've edited for clarity. And yes about $a$ and $\alpha$, the point being that we've placed $x_\alpha$ into the range of $g$ at stage $\alpha$.
Jan 4 at 16:43 history edited Joel David Hamkins CC BY-SA 4.0
added 30 characters in body
Jan 4 at 16:42 comment added LSpice My older eyes blurred the subscript a bit, so, just to say it explicitly, in $g(a) = x_\alpha$, it's an $a$ in the argument but an $\alpha$ in the subscript. (And I think "$a$ not yet specified" should perhaps be "$a$ not yet used", as with "$b$ not yet used".)
Jan 4 at 16:38 history answered Joel David Hamkins CC BY-SA 4.0