@article { Gutman20111123,
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$-формула"
}