A classification of sigma ideals on omega one

I prove that under Martin Maximum every sigma ideal on omega one is of a particular form. A new family of forcing notions is constructed for this purpose.