This question is somewhat related to a [previous one][1], where I asked for new forms of infinite beyond the cardinal hierarchy. 

Using forcing techniques, at least the ones I know of, one starts from a ground model and then enlarge it, by adding a generic set and closing up with respect to relative constructibility.

The new model shares the same ordinals  and the same height of the original one. 

On the other hand, if one postulates some suitably large cardinal axiom, one gets as a side effect new transitive models of ZFC, *shorter* than the one corresponding to the large cardinal's height. 

Looks like one can fatten a model, keeping the same height, or make it shorter, but what about creating  *taller* ones? 

Question(s) :

1) Are there standard techniques to make a transitive model taller without adding new axioms? 

2) Does an axiom like this make sense:

For any transitive model of ZFC $M$ of height $\eta_0=\text{ht}(M)$, there is always another transitive model $N$ containing $M$ of height $\eta_1=\text{ht}(N)$, where $\eta_0 < \eta_1$

**NOTE**: in the "axiom" above I have simply asked for the second height to be higher than the one of the starting model, but I am also curious as to which extent one could strengthen that, by asking for the second height to be much higher than the first one




  [1]: http://mathoverflow.net/questions/100981/ultrainfinitism-or-a-step-beyond-the-transfinite