Direct product decompositions of structures and theories
DOI10.1007/BF01197184zbMATH Open0857.03021OpenAlexW2055834485MaRDI QIDQ1918968FDOQ1918968
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
projectionscomplexityrootsfinitenessdecomposabilityquotientdefinabilityaxiomatizabilitydecompositions of structuresconsistent product formdecomposition spectrumlogic of product structuresproduct nets
Structure theory of algebraic structures (08A05) Ultraproducts and related constructions (03C20) Other classical first-order model theory (03C68) Axiomatic model classes (08C10)
Cites Work
- The first order properties of products of algebraic systems
- Horn sentences
- A compactness result concerning direct products of models
- Some applications of infinitely long formulas
- Direct product decompositions of structures and theories
- A direct proof of the Feferman-Vaught theorem and other preservation theorems in products
Cited In (4)
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- The \(D\)-decomposition theory 👍 👎
- Decomposable theories 👍 👎
- Direct product decompositions of lattices, closures and relation schemes 👍 👎
- Direct decomposability of implication operators on product lattices. 👍 👎
- Direct product decomposition of $MV$-algebras 👍 👎
- On models of finite direct products of theories 👍 👎
This page was built for publication: Direct product decompositions of structures and theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1918968)
