Nearly deterministic automata acceptation of infinite trees and a complexity of weak theory of SkS

A. Mostowski
Abstract:
What problem does this paper attempt to address?