Soon after the notion of "proper forcing" was formalized, it became clear that there are no direct generalizations of "proper forcing" which would work for iterations with uncountable supports. However several steps towards preservation theorems for iterations with uncountable supports have been already done and we will review some of those results. The relevant/lucky numbers here are 587, 655, 667, 777, 860.
A. Roslanowski