Properties preserved in subdirect products
From MaRDI portal
Publication:772220
DOI10.2140/pjm.1959.9.155zbMath0093.01102OpenAlexW1963722344MaRDI QIDQ772220
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
Related Items
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
