Pages that link to "Item:Q772220"

The following pages link to Properties preserved in subdirect products (Q772220):

Displaying 17 items.

• Derivation of preservation conditions for properties of mathematical models (Q265937) (← links)
• Existentially closed and maximal models in positive logic (Q354475) (← links)
• Optimization techniques for Craig interpolant compaction in unbounded model checking (Q888467) (← links)
• Model-theoretic and algorithmic questions in group theory (Q1063112) (← links)
• Fixed-point extensions of first-order logic (Q1090327) (← links)
• Axiomatizable classes with strong homomorphisms (Q1100195) (← links)
• A generalization of Lyndon's theorem characterizing sentences preserved in subdirect products (Q1219880) (← links)
• On positive and critical theories of some classes of rings (Q1587004) (← links)
• A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties (Q1846449) (← links)
• Replacement in logic (Q1947034) (← links)
• Defining subdirect product closed classes in infinitary logic (Q2377305) (← links)
• Ultraproducts preserve finite subdirect reducibility (Q2411688) (← links)
• The theory of finite models without equal sign (Q2508610) (← links)
• Properties preserved under algebraic constructions (Q3257768) (← links)
• Radicals and subdirect products in models (Q4739899) (← links)
• Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski (Q4953222) (← links)
• Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking (Q6102162) (← links)