В [10] показано, что автоматные линейные порядки имеют конечный FC-ранг. В этой работе дан положительный ответ на вопрос о существовании вычислимого изоморфизма между автоматными представлениями ординалов и линейных порядков ...

Исследована адгезионная прочность ледяной корки, намороженной на поверхность алюминиевых пластинок и на реальный конструкционный элемент токонесущего кабеля с антиадгезионным покрытием, в зависимости от условий на границе ...

В статье представлены в аксиоматической форме результаты А.Д. Александрова по квантовой механике и специальной теории относительности.

В настоящей работе приводится алгоритм построения торического многообразия по его вееру, а также алгоритм построения интегрального представления в пространстве Cd, связанного с данным торическим многообразием.

Получено положительное решение гипотезы С. Лемппа. Доказано, что все счетные модели сильно минимальных теорий вычислимы с оракулом 0^2, если эта теория имеет хотя бы одну вычислимую модель.

В данной работе описываются алгоритмы, позволяющие осуществить автоматическое распознавание свойств табличности и предтабличности у суперинтуиционистских и позитивных пропозициональных логик, а также программы, реализующие ...

Получены критерии мёбиусовости гомеоморфного отображения областей в пространстве R¯n, сохраняющих ангармоническое отношение четверок точек с фиксированным значением λ != 0, 1, бесконечность. В случае четномерного пространства ...

It is found that an asymptotical normal form of the Poisson bracket for the one-dimensional baroclinic fluid is a direct product of the canonical and zero brackets. An analogy with one-dimensional equations of rotating ...

Предложен метод, позволяющий получать асимптотическое разложение разностного решения в окрестности сильного разрыва. В основе этого метода лежит понятие определяющего коэффициента асимптотического разложения, при помощи ...

В статье построен пример бесконечного семейства Σa^(-1) -множеств с единственной Σa^(-1) -вычислимой нумерацией, где a — конструктивный ординал.