The following pages link to (Q4395555):
Displaying 7 items.
- Quantifier elimination and other model-theoretic properties of BL-algebras (Q654010) (← links)
- On positive enumarated models (Q1177463) (← links)
- The solution equivalence to general models for the RIM quantifier problem (Q2337905) (← links)
- Relativization of quantifiers in finite models (Q2702252) (← links)
- Skolem Theory and Generalized Quantifiers (Q3511466) (← links)
- (Q3778732) (← links)
- (Q4285926) (← links)