Geodesic
An example of using $\Delta_1$ terms in Boolean valued analysis
Vladikavkazskij matematičeskij žurnal, Tome 14 (2012) no. 1, pp. 47-63

Voir la notice de l'article provenant de la source Math-Net.Ru

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 $\mathbb R$ of reals and what complete Boolean algebras $B$ provide the explicit inclusion $\mathbb R^\land\subset\mathbb R$ inside the Boolean valued universe $\mathbb V^{(B)}$. 
@article{VMJ_2012_14_1_a4,
     author = {A. E. Gutman},
     title = {An example of using $\Delta_1$ terms in {Boolean} valued analysis},
     journal = {Vladikavkazskij matemati\v{c}eskij \v{z}urnal},
     pages = {47--63},
     publisher = {mathdoc},
     volume = {14},
     number = {1},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMJ_2012_14_1_a4/}
}
TY  - JOUR
AU  - A. E. Gutman
TI  - An example of using $\Delta_1$ terms in Boolean valued analysis
JO  - Vladikavkazskij matematičeskij žurnal
PY  - 2012
SP  - 47
EP  - 63
VL  - 14
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMJ_2012_14_1_a4/
LA  - ru
ID  - VMJ_2012_14_1_a4
ER  - 
%0 Journal Article
%A A. E. Gutman
%T An example of using $\Delta_1$ terms in Boolean valued analysis
%J Vladikavkazskij matematičeskij žurnal
%D 2012
%P 47-63
%V 14
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMJ_2012_14_1_a4/
%G ru
%F VMJ_2012_14_1_a4
A. E. Gutman. An example of using $\Delta_1$ terms in Boolean valued analysis. Vladikavkazskij matematičeskij žurnal, Tome 14 (2012) no. 1, pp. 47-63. http://geodesic.mathdoc.fr/item/VMJ_2012_14_1_a4/