Tensor product of f-rings

Elimination of quantifiers for a theory of real closed rings

“…It is straighforward to prove that πB× πA con πC is a Boolean space. 3 Summarizing we have that the space X = πB× πA con πC is a Boolean space. Then q ∈ X is an element of the form q = (q 1 , q 2 ) ∈ πB ×πC such that f (q 1 ) = g(q 2 ); where f : πB → πA con and g : πC → πA con are continuous and surjective functions.…”