Feferman–Vaught theorem in model theory is a theorem by Solomon Feferman and Robert Lawson Vaught that shows how to reduce, in an algorithmic way, the...

addition of sequences. The decidability then follows from the Feferman–Vaught theorem that can be shown using quantifier elimination. Another way of...

Faustman–Ohlin theorem (economics) Feferman–Vaught theorem (model theory) Feit–Thompson theorem (finite groups) Fenchel's duality theorem (convex analysis)...

introducing the Vaught transform. He is known for the Tarski–Vaught test for elementary substructures, the Feferman–Vaught theorem, the Łoś–Vaught test for completeness...

topics Löwenheim–Skolem theorem – Existence and cardinality of models of logical theories See Truss (1997). J. Barwise, S. Feferman, eds., Model-Theoretic...

Direct sum of topological groups Restricted product Whitney sum Feferman-Vaught theorem Thomas W. Hungerford, Algebra, p.60, Springer, 1974, ISBN 0387905189...

Tarski–Seidenberg theorem. Quantifier elimination can also be used to show that "combining" decidable theories leads to new decidable theories (see Feferman–Vaught theorem)...

rejection. Combining a monadic theory with a first order theory: Feferman–Vaught theorem extends/applies as follows. If M is an MSO model and N is a first...

Encyclopedia of Philosophy. Feferman A. Feferman & Feferman, p.1 Feferman & Feferman, pp.17-18 Feferman & Feferman, p.26 Feferman & Feferman, p.294 "Most of the...

"All three commentators [i.e. Vaught, van Heijenoort and Dreben] agree that both the completeness and compactness theorems were implicit in Skolem 1923...