RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор
Подписка
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Алгебра и логика:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Алгебра и логика, 2012, том 51, номер 1, страницы 96–128 (Mi al524)  

Эта публикация цитируется в 9 научных статьях (всего в 9 статьях)

О некоторых представлениях поля вещественных чисел

А. С. Морозовab

a Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ
b Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ

Аннотация: Доказывается, что что любые два $\Sigma$-представления упорядоченного поля вещественных чисел $\mathbb R$ над $\mathbb{HF(R)}$ с основным множеством, содержащимся в $\mathbb R$, $\Sigma$-изоморфны между собой. Отсюда для ряда функций $f\colon\mathbb R\to\mathbb R$ (напр., $\exp$, $\sin$, $\cos$, $\ln$) доказывается, что структура $\mathbb R=\langle R,+,\times,<,0,1,f\rangle$ не имеет таких $\Sigma$-представлений над $\mathbb{HF(R)}$.

Ключевые слова: $\Sigma$-представления, упорядоченное поле вещественных чисел.

Полный текст: PDF файл (302 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Algebra and Logic, 2012, 51:1, 66–88

Реферативные базы данных:

Тип публикации: Статья
УДК: 510.6+510.5
Поступило: 26.03.2011
Окончательный вариант: 08.11.2011

Образец цитирования: А. С. Морозов, “О некоторых представлениях поля вещественных чисел”, Алгебра и логика, 51:1 (2012), 96–128; Algebra and Logic, 51:1 (2012), 66–88

Цитирование в формате AMSBIB
\RBibitem{Mor12}
\by А.~С.~Морозов
\paper О некоторых представлениях поля вещественных чисел
\jour Алгебра и логика
\yr 2012
\vol 51
\issue 1
\pages 96--128
\mathnet{http://mi.mathnet.ru/al524}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=2986466}
\zmath{https://zbmath.org/?q=an:06115024}
\transl
\jour Algebra and Logic
\yr 2012
\vol 51
\issue 1
\pages 66--88
\crossref{https://doi.org/10.1007/s10469-012-9171-z}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000304163300005}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84861898922}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/al524
  • http://mi.mathnet.ru/rus/al/v51/i1/p96

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
    Цикл статей

    Эта публикация цитируется в следующих статьяx:
    1. А. С. Морозов, “Непредставимость полугруппы $\omega^\omega$ над $\mathbb{HF(R)}$”, Сиб. матем. журн., 55:1 (2014), 156–164  mathnet  mathscinet; A. S. Morozov, “Nonpresentability of the semigroup $\omega^\omega$ over $\mathbb{HF(R)}$”, Siberian Math. J., 55:1 (2014), 125–131  crossref  isi
    2. С. А. Александрова, “Проблема униформизации для $\Sigma$-предикатов в наследственно конечной списочной надстройке над полем действительных чисел с экспонентой”, Алгебра и логика, 53:1 (2014), 3–14  mathnet  mathscinet; S. A. Aleksandrova, “The uniformization problem for $\Sigma$-predicates in a hereditarily finite list superstructure over the real exponential field”, Algebra and Logic, 53:1 (2014), 1–8  crossref  isi
    3. А. С. Морозов, “$\Sigma$-жесткие представления вещественного порядка”, Сиб. матем. журн., 55:3 (2014), 562–572  mathnet  mathscinet  elib; A. S. Morozov, “On $\Sigma$-rigid presentations of the real order”, Siberian Math. J., 55:3 (2014), 457–464  crossref  isi  elib
    4. А. С. Морозов, “О $\Sigma$-представлениях вещественного порядка”, Алгебра и логика, 53:3 (2014), 340–371  mathnet  mathscinet; A. S. Morozov, “$\Sigma$-presentations of the ordering on the reals”, Algebra and Logic, 53:3 (2014), 217–237  crossref  isi
    5. А. С. Морозов, “Об одном достаточном условии непредставимости структур в наследственно конечных надстройках”, Алгебра и логика, 55:3 (2016), 366–379  mathnet  crossref; A. S. Morozov, “A sufficient condition for nonpresentability of structures in hereditarily finite superstructures”, Algebra and Logic, 55:3 (2016), 242–251  crossref  isi
    6. A. S. Morozov, “Computable model theory over the reals”, Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasion of His 60Th Birthday, Lecture Notes in Computer Science, 10010, ed. A. Day, M. Fellows, N. Greenberg, B. Khoussainov, A. Melnikov, F. Rosamond, Springler, 2017, 354–365  crossref  mathscinet  zmath  isi  scopus
    7. А. С. Морозов, “Непредставимость некоторых структур анализа в наследственно конечных надстройках”, Алгебра и логика, 56:6 (2017), 691–711  mathnet  crossref; A. S. Morozov, “Nonpresentability of some structures of analysis in hereditarily finite superstructures”, Algebra and Logic, 56:6 (2018), 458–472  crossref  isi
    8. С. А. Александрова, “О $\Sigma$-определимости наследственно конечной и списочной надстроек”, Сиб. журн. чист. и прикл. матем., 18:1 (2018), 3–10  mathnet  crossref
    9. Greenberg N., Melnikov A.G., Knight J.F., Turetsky D., “Uniform Procedures in Uncountable Structures”, J. Symb. Log., 83:2 (2018), 529–550  crossref  mathscinet  zmath  isi  scopus
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:328
    Полный текст:95
    Литература:59
    Первая стр.:26
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020