The following pages link to (Q4335229):
Displaying 9 items.
- A relative interpolation theorem for infinitary universal Horn logic and its applications (Q818926) (← links)
- Axiomatizations of universal classes through infinitary logic (Q1652858) (← links)
- On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions (Q1652877) (← links)
- Defining subdirect product closed classes in infinitary logic (Q2377305) (← links)
- Local characterization theorems for some classes of structures (Q2707243) (← links)
- Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas (Q3437039) (← links)
- (Q3481681) (← links)
- Algebraic Characterizations for Universal Fragments of Logic (Q4264538) (← links)
- Some applications of infinitary logical languages in universal algebra (Q5416021) (← links)
