Абелев интеграл
интеграл вида ∫f (x, y) dx, (от a до b), где f — рациональная функция от двух переменных и y — алгебраическая функция от x
топологическое пространство, содержащее всюду плотное счетное множество
В работе в предположении СН строится пример топологического пространства с первой аксиомой счетности со свойствами, сформулированными в заглавии.Assuming CH we construct a separable first countable countably compact non-compact space.
интеграл вида ∫f (x, y) dx, (от a до b), где f — рациональная функция от двух переменных и y — алгебраическая функция от x
определитель, состоящий из функций f1 (x), f2 (x),..., fn (x) и их производных до (n − 1)-го порядка
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент