[BibTeX] An example of using $\Delta_1$ terms in Boolean-valued analysis [in Russian]

Gutman A.E.

An example of using $\Delta_1$ terms in Boolean-valued analysis [in Russian] //

Vladikavk. Math. J. 2012. V. 14, issue 1. P. 47--63.

BibTeX:

Download BIB file

@article { Gutman20111123,

author = "Gutman A.E.",

title = "An example of using $\Delta_1$ terms in Boolean-valued analysis",

journal = "Vladikavk. Math. J.",

year = "2012",

volume = "14",

number = "1",

pages = "47--63",

doi = "10.23671/VNC.2012.14.10953",

language = "russian",

annote = "Syntactic tools related to $\Delta_1$ terms are demonstrated by application to Boolean valued analysis. As an example, the question is considered of what approaches to defining the field $R$ of reals and what complete Boolean algebras $B$ provide the explicit inclusion of $R^{\land}$ into $R$ inside the Boolean-valued universe $V^{(B)}$.",

keywords = "set theory, conservative extension, real number, Boolean valued analysis, canonical embedding, $\sigma$-distributive Boolean algebra, $\Sigma_1$ formula."

}