Let $A$ be a non-commutative, non-unital $\mathrm{C}^\ast$-algebra. Given a
set of commuting positive elements in the corona algebra $Q(A)$, we study some
obstructions to the existence of a commutative lifting of such set to the
multiplier algebra $M(A)$. Our focus are the obstructions caused by the size of
the collection we want to lift. It is known that no obstacles show up when
lifting a countable family of commuting projections, or of pairwise orthogonal
positive elements. However, this is not the case for larger collections. We
prove in fact that for every primitive, non-unital, $\sigma$-unital
$\mathrm{C}^\ast$-algebra $A$, there exists an uncountable set of pairwise
orthogonal positive elements in $Q(A)$ such that no uncountable subset of it
can be lifted to a set of commuting elements of $M(A)$. Moreover, the positive
elements in $Q(A)$ can be chosen to be projections if $A$ has real rank zero.

It is common knowledge in the set theory community that there exists a
duality relating the commutative $C^*$-algebras with the family of $B$-names
for complex numbers in a boolean valued model for set theory $V^B$. Several
aspects of this correlation have been considered in works of the late $1970$'s
and early $1980$'s, for example by Takeuti, and by Jech. Generalizing Jech's
results, we extend this duality so as to be able to describe the family of
boolean names for elements of any given Polish space $Y$ (such as the complex
numbers) in a boolean valued model for set theory $V^B$ as a space $C^+(X,Y)$
consisting of functions $f$ whose domain $X$ is the Stone space of $B$, and
whose range is contained in $Y$ modulo a meager set. We also outline how this
duality can be combined with generic absoluteness results in order to analyze,
by means of forcing arguments, the theory of $C^+(X,Y)$.