|
Владикавказский математический журнал, 2012, том 14, номер 1, страницы 47–63
(Mi vmj409)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Пример использования $\Delta_1$-термов в булевозначном анализе
А. Е. Гутманab a Новосибирский государственный университет, кафедра математического анализа, РОССИЯ, Новосибирск
b Институт математики им. С. Л. Соболева СО РАН, лаб. функционального анализа, РОССИЯ, Новосибирск
Аннотация:
Демонстрируется использование в булевозначном анализе синтаксической техники, связанной с понятием $\Delta_1$-терма. В качестве примера рассмотрен вопрос о том, какие подходы к определению числового поля $\mathbb R$ и какие полные булевы алгебры $B$ обеспечивают явное включение $\mathbb R^\land\subset\mathbb R$ внутри булевозначного универсума $\mathbb V^{(B)}$.
Ключевые слова:
теория множеств, консервативное расширение, вещественное число, булевозначный анализ, каноническое вложение, $\sigma$-дистрибутивная булева алгебра, $\Sigma_1$-формула.
Поступила в редакцию: 23.11.2011
Образец цитирования:
А. Е. Гутман, “Пример использования $\Delta_1$-термов в булевозначном анализе”, Владикавк. матем. журн., 14:1 (2012), 47–63
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vmj409 https://www.mathnet.ru/rus/vmj/v14/i1/p47
|
Статистика просмотров: |
Страница аннотации: | 290 | PDF полного текста: | 85 | Список литературы: | 47 | Первая страница: | 1 |
|