Properties preserved in subdirect products

DOI10.2140/PJM.1959.9.155zbMath0093.01102OpenAlexW1963722344MaRDI QIDQ772220

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

zbMATH Keywords

foundations, philosophy and logic of mathematics

Related Items (17)

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

This page was built for publication: Properties preserved in subdirect products