Pages that link to "Item:Q5956886"

The following pages link to Boolean products of real closed valuation rings and fields (Q5956886):

Displaying 4 items.

• Positive primitive formulae of modules over rings of semi-algebraic functions on a curve (Q494649) (← links)
• (Q3153400) (← links)
• The real closure of a commutative regular f-ring (Q4132528) (← links)
• Elimination of quantifiers for a theory of real closed rings (Q6614037) (← links)