author = "Гутман А.Е.",

title = "Пример использования $\Delta_1$-термов в булевозначном анализе",

journal = "Владикавк. мат. журн.",

year = "2012",

volume = "14",

number = "1",

pages = "47--63",

doi = "10.23671/VNC.2012.14.10953",

annote = "Демонстрируется использование в булевозначном анализе синтаксической техники, связанной с понятием $\Delta_1$-терма. В качестве примера рассмотрен вопрос о том, какие подходы к определению числового поля $R$ и какие полные булевы алгебры $B$ обеспечивают явное включение $R^{\land}$ в $R$ внутри булевозначного универсума $V^{(B)}$.",

keywords = "теория множеств, консервативное расширение, вещественное число, булевозначный анализ, каноническое вложение, $\sigma$-дистрибутивная булева алгебра, $\Sigma_1$-формула"