Pages that link to "Item:Q5536656"
From MaRDI portal
The following pages link to Reduced products, Horn sentences, and decision problems (Q5536656):
Displayed 6 items.
- Theories with the independence property (Q993495) (← links)
- Complexity of the problem of being equivalent to Horn formulas (Q2145867) (← links)
- Addendum to “Logic of reduced power structures” (Q3335763) (← links)
- On boolean functions and connected sets (Q5625156) (← links)
- Adequate Ultrafilters of Special Boolean Algebras (Q5676211) (← links)
- Complexity of the problem of being equivalent to Horn formulas. II (Q6160501) (← links)