Вычислимо отделимые модели

Обложка

Цитировать

Полный текст

Аннотация

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

Об авторах

Н Х Касымов

Национальный университет Узбекистана им. М. Улугбека

Email: nadim59@mail.ru
Узбекистан, 100174, г. Ташкент, ул. Университетская, д. 4

Ф Н Ибрагимов

Национальный университет Узбекистана им. М. Улугбека

Email: farkh-i@yandex.ru
Узбекистан, 100174, г. Ташкент, ул. Университетская, д. 4

Список литературы

  1. Гончаров С. С. Модели данных и языки их описаний// Выч. сист. (Тр. ИМ СО АН СССР). - 1985. - 107. - С. 52-70.
  2. Гончаров С. С., Ершов Ю. Л. Конструктивные модели. - Новосибирск: Научная книга, 1999.
  3. Ершов Ю. Л. Теория нумераций. - М.: Наука, 1977.
  4. Ершов Ю. Л. Проблемы разрешимости и конструктивные модели. - М.: Наука, 1980.
  5. Касымов Н. Х. Об алгебрах с финитно аппроксимируемыми позитивно представимыми обогащениями// Алгебра и логика. - 1987. - 26, № 6. - С. 715-730.
  6. Касымов Н. Х. Позитивные алгебры с конгруэнциями конечного индекса// Алгебра и логика. - 1991. - 30, № 3. - С. 293-305.
  7. Касымов Н. Х. Позитивные алгебры со счетными решетками конгруэнций// Алгебра и логика. - 1992. - 31, № 1. - С. 21-37.
  8. Касымов Н. Х. Позитивные алгебры с нетеровыми решетками конгруэнций// Сиб. мат. ж. - 1992. - 33, № 2. - С. 181-185.
  9. Касымов Н. Х. О числе конгруэнций алгебр над простыми множествами// Мат. заметки. - 1992. - 52, № 2. - С. 150-152.
  10. Касымов Н. Х. О гомоморфизмах на негативные алгебры// Алгебра и логика. - 1992. - 31, № 2. - С. 132-144.
  11. Касымов Н. Х. Аксиомы отделимости и разбиения натурального ряда// Сиб. мат. ж. - 1993. - 34, № 3. - С. 81-85.
  12. Касымов Н. Х. Нумерованные алгебры с равномерно рекурсивно отделимыми классами// Сиб. мат. ж. - 1993. - 34, № 5. - С. 85-102.
  13. Касымов Н. Х. Об алгебрах над негативными эквивалентностями// Алгебра и логика. - 1994. - 33, № 1. - С. 76-80.
  14. Касымов Н. Х. Рекурсивно отделимые нумерованные алгебры// Усп. мат. наук. - 1996. - 51, № 3. - С. 145-176.
  15. Касымов Н. Х. О вычислимости негативных представлений стандартной модели арифметики Гончарова// Тезисы докладов Межд. конф. «Алгебра, анализ и квантовая вероятность». - Ташкент, 2015. - С. 117-119.
  16. Касымов Н. Х. О гомоморфизмах на эффективно отделимые алгебры// Сиб. мат. ж. - 2016. - 57, № 1. - С. 47-66.
  17. Касымов Н. Х., Дадажанов Р. Н. Негативные плотные линейные порядки// Сиб. мат. ж. - 2017. - 58, № 6. - С. 1306-1331.
  18. Касымов Н. Х., Ибрагимов Ф. Н. Структурная характеризация рекурсивно отделимых моделей// Докл. АН РУз. - 1998. - № 11. - С. 14-16.
  19. Касымов Н. Х., Морозов А. С. Об определимости линейных порядков над негативными эквивалентностями// Алгебра и логика. - 2016. - 55, № 1. - С. 37-57.
  20. Мальцев А. И. К общей теории алгебраических систем// Мат. сб. - 1954. - 35, № 1. - С. 3-20.
  21. Мальцев А. И. Конструктивные алгебры. I// Усп. мат. наук. - 1961. - 16, № 3. - С. 3-60.
  22. Мальцев А. И. Позитивные и негативные нумерации// Докл. АН СССР. - 1965. - 160, № 2. - С. 278- 280.
  23. Мальцев А. И. Алгебраические системы. - М.: Наука, 1970.
  24. Мальцев А. И. Алгоритмы и рекурсивные функции. - М.: Наука, 1986.
  25. Мартин-Леф П. Очерки по конструктивной математике. - М.: Мир, 1975.
  26. Успенский В. А. О вычислимых операциях// Докл. АН СССР. - 1955. - 103, № 5. - С. 773-776.
  27. Успенский В. А. Системы перечислимых множеств и их нумерации// Докл. АН СССР. - 1955. - 105, № 6. - С. 1155-1158.
  28. Baur W. Rekursive algebren mit kettenbedingungen// Z. Math. Logik Grundl. Math. - 1974. - 20.- С. 37-46.
  29. Baur W. Uber recursive strukturen// Invent. Math. - 1974. - 23, № 2. - С. 89-95.
  30. Bergstra J. A., Tucker J. V. A characterization of computable data types by means of a finite, equational specification method// Lecture Notes in Comput. Sci. - 1980. - 85. - С. 76-90.
  31. Broy M., Dosch W., Partsch H., Pepper P., Wirsing M. Existential quantifiers in abstract data types// Lecture Notes in Comput. Sci. - 1979. - 71. - С. 73-81.
  32. Feiner L. Hierarchies of Boolean algebras// J. Symb. Logic. - 1970. - 35, № 2. - С. 365-373.
  33. Fokina E. B., Khoussainov B., Semukhin P. D. Linear orders realized by C.E. equivalence relations// J. Symb. Logic. - 2016. - 81, № 2. - С. 463-482.
  34. Kamin S. Some definitions for algebraic data type specifications// SIGPLAN Notes. - 1979. - 14, № 3. - С. 28-37.
  35. Khoussainov B., Slaman T., Semukhin P. тт0-presentasions of algebras// Arch. Math. Logic. - 2006. - 45, № 6. - С. 769-781.
  36. Morozov A. S., Truss J. K. On computable automorphisms of the rational numbers// J. Symb. Logic. - 2001. - 66, № 3. - С. 1458-1470.
  37. Nerode A. General topology and partial recursive functionals// Talks Cornell Summ. Inst. Symb. Log. - Cornell, 1957. - С. 247-251.

Дополнительные файлы

Доп. файлы
Действие
1. JATS XML
Скачать

Согласие на обработку персональных данных с помощью сервиса «Яндекс.Метрика»

1. Я (далее – «Пользователь» или «Субъект персональных данных»), осуществляя использование сайта https://journals.rcsi.science/ (далее – «Сайт»), подтверждая свою полную дееспособность даю согласие на обработку персональных данных с использованием средств автоматизации Оператору - федеральному государственному бюджетному учреждению «Российский центр научной информации» (РЦНИ), далее – «Оператор», расположенному по адресу: 119991, г. Москва, Ленинский просп., д.32А, со следующими условиями.

2. Категории обрабатываемых данных: файлы «cookies» (куки-файлы). Файлы «cookie» – это небольшой текстовый файл, который веб-сервер может хранить в браузере Пользователя. Данные файлы веб-сервер загружает на устройство Пользователя при посещении им Сайта. При каждом следующем посещении Пользователем Сайта «cookie» файлы отправляются на Сайт Оператора. Данные файлы позволяют Сайту распознавать устройство Пользователя. Содержимое такого файла может как относиться, так и не относиться к персональным данным, в зависимости от того, содержит ли такой файл персональные данные или содержит обезличенные технические данные.

3. Цель обработки персональных данных: анализ пользовательской активности с помощью сервиса «Яндекс.Метрика».

4. Категории субъектов персональных данных: все Пользователи Сайта, которые дали согласие на обработку файлов «cookie».

5. Способы обработки: сбор, запись, систематизация, накопление, хранение, уточнение (обновление, изменение), извлечение, использование, передача (доступ, предоставление), блокирование, удаление, уничтожение персональных данных.

6. Срок обработки и хранения: до получения от Субъекта персональных данных требования о прекращении обработки/отзыва согласия.

7. Способ отзыва: заявление об отзыве в письменном виде путём его направления на адрес электронной почты Оператора: info@rcsi.science или путем письменного обращения по юридическому адресу: 119991, г. Москва, Ленинский просп., д.32А

8. Субъект персональных данных вправе запретить своему оборудованию прием этих данных или ограничить прием этих данных. При отказе от получения таких данных или при ограничении приема данных некоторые функции Сайта могут работать некорректно. Субъект персональных данных обязуется сам настроить свое оборудование таким способом, чтобы оно обеспечивало адекватный его желаниям режим работы и уровень защиты данных файлов «cookie», Оператор не предоставляет технологических и правовых консультаций на темы подобного характера.

9. Порядок уничтожения персональных данных при достижении цели их обработки или при наступлении иных законных оснований определяется Оператором в соответствии с законодательством Российской Федерации.

10. Я согласен/согласна квалифицировать в качестве своей простой электронной подписи под настоящим Согласием и под Политикой обработки персональных данных выполнение мною следующего действия на сайте: https://journals.rcsi.science/ нажатие мною на интерфейсе с текстом: «Сайт использует сервис «Яндекс.Метрика» (который использует файлы «cookie») на элемент с текстом «Принять и продолжить».