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