ISSN печатной версии 1683-3414   •   ISSN он-лайн версии 1814-0807
     
 

Контакты

Адрес: Россия, 362027, Владикавказ,
ул. Маркуса, д. 22
Тел.: (8672)50-18-06
E-mail: rio@smath.ru

 

 

 

џндекс.Њетрика

DOI: 10.23671/VNC.2012.14.10953

Пример использования \(\Delta_1\)-термов в булевозначном анализе

Гутман А. Е.
Владикавказский математический журнал. 2012. Том 14. Выпуск 1.С.47-63.
Аннотация:
Демонстрируется использование в булевозначном анализе синтаксической техники, связанной с понятием \(\Delta_1\)-терма. В качестве примера рассмотрен вопрос о том, какие подходы к определению числового поля \(\mathbb R\) и какие полные булевы алгебры \(B\) обеспечивают явное включение \(\mathbb R^{\wedge}\subset\mathbb R\) внутри булевозначного универсума \(\mathbb V^{(B)}\).
Ключевые слова: теория множеств, консервативное расширение, вещественное число, булевозначный анализ, каноническое вложение, \(\sigma\)-дистрибутивная булева алгебра, \(\Sigma_1\)-формула
Язык статьи: Русский Загрузить полный текст  
Образец цитирования: Гутман А. Е. Пример использования \(\Delta_1\)-термов в булевозначном анализе  // Владикавк. мат. журн. 2012. Том 14. Выпуск 1. С. 47-63. DOI 10.23671/VNC.2012.14.10953


← Содержание выпуска
 
  | Главная | Редколлегия | Публикационная этика | Рецензирование | Свежий номер | Архив | Правила для авторов |  
© 1999-2019 Южный математичкский институт