Geodesic
The Nonstandard Hull of a Normed Space in a Boolean-valued Universe
Matematičeskie trudy, Tome 4 (2001) no. 2, pp. 42-52 
A. E. Gutman; D. B. Ryabko. The Nonstandard Hull of a Normed Space in a Boolean-valued Universe. Matematičeskie trudy, Tome 4 (2001) no. 2, pp. 42-52. http://geodesic.mathdoc.fr/item/MT_2001_4_2_a2/
@article{MT_2001_4_2_a2,
     author = {A. E. Gutman and D. B. Ryabko},
     title = {The~Nonstandard {Hull} of {a~Normed} {Space} in {a~Boolean-valued} {Universe}},
     journal = {Matemati\v{c}eskie trudy},
     pages = {42--52},
     year = {2001},
     volume = {4},
     number = {2},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MT_2001_4_2_a2/}
}
TY  - JOUR
AU  - A. E. Gutman
AU  - D. B. Ryabko
TI  - The Nonstandard Hull of a Normed Space in a Boolean-valued Universe
JO  - Matematičeskie trudy
PY  - 2001
SP  - 42
EP  - 52
VL  - 4
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/MT_2001_4_2_a2/
LA  - ru
ID  - MT_2001_4_2_a2
ER  - 
%0 Journal Article
%A A. E. Gutman
%A D. B. Ryabko
%T The Nonstandard Hull of a Normed Space in a Boolean-valued Universe
%J Matematičeskie trudy
%D 2001
%P 42-52
%V 4
%N 2
%U http://geodesic.mathdoc.fr/item/MT_2001_4_2_a2/
%G ru
%F MT_2001_4_2_a2

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

In this article, we extend some results of infinitesimal analysis on normed spaces and the field of reals to the functional representation of a Boolean-valued universe. In particular, we prove equivalence of the following three conditions for an arbitrary polyverse over $Q$: a point $q\in Q$ is not $\sigma$-isolated; the stalk of the polyverse at $q$ is countably saturated; and the nonstandard hull of every normed space in the stalk of the polyverse at $q$ is complete.

[1] Gutman A. E., Losenkov G. A., “Funktsionalnoe predstavlenie bulevoznachnogo universuma”, Mat. trudy, 1:1 (1998), 54–77 | MR | Zbl

[2] Kusraev A. G., Kutateladze S. S., Nestandartnye metody analiza, Nauka, Novosibirsk, 1990 | MR

[3] Hurd A. E., Loeb P. A., An Introduction to Nonstandard Real Analysis, Academic Press, Inc., Orlando, Florida 32887, 1985 | MR | Zbl