For #1 and #2.
Doubling exposure and stacking two exposures are going to be similar, but not exactly the same. Doubling exposure means you get twice as much signal, for a single unit of read noise. Taking two exposures means you get the same total signal as doubling exposure across both shots, but you end up with two units of read noise.
Depending on how shallow your exposures are (you said night sky, i.e. milky way?), stacking two exposures might result in a bit more noise than taking a longer exposure. HOWEVER, if this is indeed a milky way shot, a longer exposure is more likely to trail the stars more. So you have to decide, longer star trails or more noise?
Dark current will actually not be worse with either of these two options. Dark current shot noise is a time-dependent thing. You have the same total amount of time with one doubly-long exposure as with two stacked exposures, so your total dark current is the same. Now, things get interesting when you start talking about stacking many exposures...that can have distinct advantages, if you do it right. By right, I mean you would need to dither (shift the frame a little bit across subs), and ideally for night sky imaging, you would either use dark calibration with a separate master dark, or use LENR (long exposure noise reduction) to remove the dark pattern. Stacking many dithered and calibrated subs can produce a much cleaner image than taking a much longer single exposure, and if you don't want a star trails image, taking shorter subs and aligning them (ideally while imaging on a tracker of some kind) will average out various noise terms and produce a much, much cleaner image.
For #3 and #4.
Neither of these will be as good as #1 or #2. Doubling ISO, or digitally multiplying the raw data, does not increase signal. It simply changes the amplification of the signal. Doubling ISO is better than digitally multiplying, and depending on what ISO settings you are using, you might be better increasing ISO anyway (i.e. if you have 6e- read noise at ISO 400 and 4e- read noise at ISO 800, and you are doing shorter exposures for milky way images, then stacking many exposures at the higher ISO will again produce better results). Note that read noise scales as the square, so increasing ISO is more like the difference between 36 and 16, rather than 6 and 4.
Digitally multiplying the signal is, for any low light use case, utterly useless. With low light, particularly night sky or astrophotography, you want more REAL SIGNAL. You only get more signal by exposing. Amplifying (increasing ISO) will reduce read noise to some degree, but it still does not get you more signal in and of itself. Digitally multiplying, however, neither reduces read noise nor increases signal.
I am not exactly sure what you are saying here. I think I gather that you mean stacking many exposures. I am not sure what you mean by "double that"...that what? And how?
No matter what you do, for low light, night sky, astrophotography stuff...MORE SIGNAL is what you want. The only way you get more signal is to expose more. For night sky (really wide field and milky way stuff), the best way to expose more is to get a tracker of some kind. Lightrack, SkyTracker/Polari, Star Adventurer, these will all counteract the rotation of the earth, and allow you to get much longer than the few seconds exposures you can normally get with DSLRs on fixed tripods these days (don't even bother with the 600/500/400 rules, totally useless, pixels are far too small for these to apply these days. Even at very short focal lengths, you will usually only get a few seconds of exposure before trails start.) A tracker can let you expose for up to minutes, if you are imaging under dark enough skies. That is the first and best way to improve your IQ, because it gets you more signal, and uses that signal to bury read noise.
Even with a tracker, there are limits to how long you can expose. With night sky, milky way and astrophotography, you can basically never have too much exposure. I've created astrophotography images with nearly 50 hours of total integrated exposure, and I could have used double or triple that! ;) Wide field mikly way images don't generally require that much, however they can benefit from 30, 60, 90 minutes of total integration on a tracker if you can muster it...that is when the fainter nebular colors (notably hydrogen alpha) in the milky way nebula start to come out. To get that kind of exposure, you have to stack, no matter how you slice it. You might get 2, maybe 3 minute exposures with a tracker and a DSLR, in which case you might stack 10-15 of those kinds of exposures to create a cleaner, richer, more colorful night sky image.