No label defined (Q5422269)
From MaRDI portal
scientific article; zbMATH DE number 5201476
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 5201476 |
Statements
17 October 2007
0 references
generalized sum of structures
0 references
composition theorem
0 references
first-order logic
0 references
decidability
0 references
definability
0 references
Feferman-Vaught theorem
0 references