Title of article :
Boolean products of real closed valuation rings and fields
Original Research Article
Author/Authors :
Jorge I. Guier، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2001
Abstract :
We present some results concerning elimination of quantifiers and elementary equivalence for Boolean products of real closed valuation rings and fields. We also study rings of continuous functions and rings of definable functions over real closed valuation rings under this point of view.
Keywords :
Real closed rings , Projectable f-rings , Elementary equivalence , Basically disconnected spaces , Rings of definable functions , Rings of continuous functions , Boolean products , Elimination of quantifiers
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic