Pages that link to "Item:Q3511466"
From MaRDI portal
The following pages link to Skolem Theory and Generalized Quantifiers (Q3511466):
Displaying 7 items.
- Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality (Q548707) (← links)
- Independent set readings and generalized quantifiers (Q848211) (← links)
- Skolem fragments (Q1077397) (← links)
- The Skolemization of existential quantifiers in intuitionistic logic (Q2503404) (← links)
- Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories (Q2636528) (← links)
- (Q3981779) (← links)
- Skolem’s Theorem in Coherent Logic (Q5212032) (← links)