Non-combinatorial Type Problems