О некоторых проблемах дескриптивной теории множеств и определимости в теории типовстатья