Feferman-Vaught Theorem
   HOME
*