Feferman–Vaught theorem
id:
feferman-vaught-theorem-319-4939435
title:
Feferman–Vaught theorem
text:
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 first-order theory of a product of structures to the first-order theory of elements of the structure. The theorem is considered as one of the standard results in model theory. The theorem extends the previous result of Andrzej Mostowski on direct products of theories.
It generalizes the property in universal algebra that equalities (identities) ca
brand slug:
wiki
category slug:
encyclopedia
description:
Theorem about products in model theory
original url:
https://en.wikipedia.org/wiki/Feferman%E2%80%93Vaught_theorem
date created:
date modified:
2024-04-21T21:10:39Z
main entity:
{"identifier":"Q110921617","url":"https://www.wikidata.org/entity/Q110921617"}
image:
fields total:
13
integrity:
14