Composition theorem for generalized sum

MaRDI QIDQ5422269zbMATH OpenFDO

Authors Alexander Rabinovich

Publication date 17 October 2007

zbMATH Keywords

composition theoremdecidabilitydefinabilityFeferman-Vaught theoremfirst-order logicgeneralized sum of structures

Mathematics Subject Classification ID

Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Model theory of finite structures (03C13) Other model constructions (03C30) Interpolation, preservation, definability (03C40) Properties of classes of models (03C52) Model theory of ordered structures; o-minimality (03C64) Second- and higher-order model theory (03C85)

Recommendations

• On compositionality and its limitations
• Composition over the natural number ordering with an extra binary relation
• Weakly maximal decidable structures
• Algorithmic uses of the Feferman-Vaught theorem
• Publication:4722028

Cited in

(3)

• Composition over the natural number ordering with an extra binary relation
• scientific article; zbMATH DE number 38155 (Why is no real title available?)
• Selection over classes of ordinals expanded by monadic predicates

This page was built for publication: Composition theorem for generalized sum

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5422269)