scientific article; zbMATH DE number 5201476

zbMath1124.03013MaRDI QIDQ5422269

Alexander Rabinovich

Publication date: 17 October 2007

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

first-order logicdecidabilitydefinabilitycomposition theoremFeferman-Vaught theoremgeneralized 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) Second- and higher-order model theory (03C85) Properties of classes of models (03C52) Interpolation, preservation, definability (03C40) Model theory of ordered structures; o-minimality (03C64) Other model constructions (03C30)

Related Items (1)

Selection over classes of ordinals expanded by monadic predicates

This page was built for publication: