The general inductive argument for measure analyses with additive ordinal algebras
Stefan Bold, Benedikt Löwe

Abstract:
We generalize the inductive analysis of the ordinal algebra of height
omega^2 to arbitrary ordinal algebras under some (crucial) technical
assumptions.