Cited in
(17)- Derivation of preservation conditions for properties of mathematical models
- Axiomatizable classes with strong homomorphisms
- Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
- Fixed-point extensions of first-order logic
- Ultraproducts preserve finite subdirect reducibility
- Properties preserved under algebraic constructions
- Model-theoretic and algorithmic questions in group theory
- Radicals and subdirect products in models
- Optimization techniques for Craig interpolant compaction in unbounded model checking
- Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking
- Defining subdirect product closed classes in infinitary logic
- The theory of finite models without equal sign
- A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties
- Existentially closed and maximal models in positive logic
- Replacement in logic
- A generalization of Lyndon's theorem characterizing sentences preserved in subdirect products
- On positive and critical theories of some classes of rings
This page was built for publication: Properties preserved in subdirect products
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q772220)
