Boolean Valued Analysis of Banach Spaces
摘要
We implement the Boolean valued analysis ofBanach spaces. The realizations of Banach spaces in a Boolean valued universeare lattice normed spaces. We present the basic techniques of studying these objectsas well as the Boolean valued approach to injective Banach lattices.