A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic. (Q5005180)
From MaRDI portal
scientific article; zbMATH DE number 7378393
Language | Label | Description | Also known as |
---|---|---|---|
English | A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic. |
scientific article; zbMATH DE number 7378393 |
Statements
4 August 2021
0 references
quantitative logic
0 references
quantitative model theory
0 references
feferman-vaught theorem
0 references
translation scheme
0 references
transduction
0 references
A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic. (English)
0 references