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

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

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



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






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


Алгебра и логика, 1973, том 12, номер 3, страницы 312–322 (Mi al1385)  

Сильно конструктивная модель без элементарных подмоделей и расширений

М. Г. Перетятькин
Аннотация: Теорема. Пусть $(\mathfrak{M},\nu)$ — сильно конструктивное дискретно упорядоченное множество. Тогда существует обогащение $\mathfrak{M}^{\ast}$ модели одним одноместным предикатом, такое, что $(\mathfrak{M}^{\ast},\nu)$ — сильно конструктивная модель и каждый элемент $a\in |\mathfrak{M}^{\ast}|$ формульно определим в $\mathfrak{M}^{\ast}$.
Отсюда, используя результат автора о том, что существует счетное дискретно упорядоченное множество, не имеющее собственных конструктивных элементарных расширений, получено
Следствие. Существует счетная сильно конструктивная модель сигнатуры $\sigma=\langle <, P^{1}\rangle$, у которой каждый элемент формульно определим и которая не имеет собственных конструктивных элементарных расширений.
Поступило: 20.04.1973
Реферативные базы данных:
Тип публикации: Статья
УДК: 517.15
Образец цитирования: М. Г. Перетятькин, “Сильно конструктивная модель без элементарных подмоделей и расширений”, Алгебра и логика, 12:3 (1973), 312–322
Цитирование в формате AMSBIB
\RBibitem{Per73}
\by М.~Г.~Перетятькин
\paper Сильно конструктивная модель без элементарных подмоделей и расширений
\jour Алгебра и логика
\yr 1973
\vol 12
\issue 3
\pages 312--322
\mathnet{http://mi.mathnet.ru/al1385}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=0387045}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al1385
  • https://www.mathnet.ru/rus/al/v12/i3/p312
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Алгебра и логика Algebra and Logic
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024