Properties preserved in subdirect products
From MaRDI portal
Publication:772220
DOI10.2140/PJM.1959.9.155zbMATH Open0093.01102OpenAlexW1963722344MaRDI QIDQ772220FDOQ772220
Authors: Roger C. Lyndon 
Publication date: 1959
Published in: Pacific Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2140/pjm.1959.9.155
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
- Radicals and subdirect products in models
- Model-theoretic and algorithmic questions in group theory
- 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)
