Some partial conservativity properties of intuitionistic set theory with schema collection and some additional principlesтезисы доклада