Direct product decompositions of structures and theories

DOI10.1007/BF01197184zbMath0857.03021OpenAlexW2055834485MaRDI QIDQ1918968

Y. Vourtsanis

Publication date: 11 March 1997

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01197184

zbMATH Keywords

projectionscomplexityrootsfinitenessdefinabilitydecomposabilityaxiomatizabilityquotientdecompositions of structuresconsistent product formdecomposition spectrumlogic of product structuresproduct nets

Mathematics Subject Classification ID

Structure theory of algebraic structures (08A05) Axiomatic model classes (08C10) Ultraproducts and related constructions (03C20) Other classical first-order model theory (03C68)

Related Items (1)

Direct product decompositions of structures and theories

Cites Work

• Direct product decompositions of structures and theories
• The first order properties of products of algebraic systems
• A direct proof of the Feferman-Vaught theorem and other preservation theorems in products
• A compactness result concerning direct products of models
• Some applications of infinitely long formulas
• Horn sentences

This page was built for publication: Direct product decompositions of structures and theories