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

Гутман А. Е.
Владикавказский математический журнал. 2012. Том 14. Выпуск 1.С.47-63.

Аннотация:
Демонстрируется использование в булевозначном анализе синтаксической техники, связанной с понятием \(\Delta_1\)-терма. В качестве примера рассмотрен вопрос о том, какие подходы к определению числового поля \(\mathbb R\) и какие полные булевы алгебры \(B\) обеспечивают явное включение \(\mathbb R^{\wedge}\subset\mathbb R\) внутри булевозначного универсума \(\mathbb V^{(B)}\).

Ключевые слова: теория множеств, консервативное расширение, вещественное число, булевозначный анализ, каноническое вложение, \(\sigma\)-дистрибутивная булева алгебра, \(\Sigma_1\)-формула

Язык статьи: Русский Загрузить полный текст