The following pages link to (Q4805546):
Displaying 4 items.
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- REDUCED PRODUCTS OF METRIC STRUCTURES: A METRIC FEFERMAN–VAUGHT THEOREM (Q2976367) (← links)
- A Non‐Boolean Version of Feferman‐Vaught's Theorem (Q3346293) (← links)
- A direct proof of the Feferman-Vaught theorem and other preservation theorems in products (Q3984437) (← links)