Pages that link to "Item:Q5551144"
From MaRDI portal
The following pages link to Skolem-type normal forms for first-order languages with a generalized quantifier (Q5551144):
Displaying 9 items.
- Cardinality of models for theories in a calculus with a Härtig quantifier (Q1136754) (← links)
- A note on extensions of infinitary logic (Q1765098) (← links)
- A generalization of Ehrenfeucht's game and some applications (Q2557698) (← links)
- Completeness and interpolation of almost-everywhere quantification over finitely additive measures (Q2856634) (← links)
- On two complete sets in the analytical and the arithmetical hierarchies (Q4078003) (← links)
- Interpolation in Logiken monotoner systeme (Q4745811) (← links)
- First order properties of pairs of cardinals (Q5519152) (← links)
- Ganzgeschlossene und prädikatengeschlossene Logiken I (Q5623652) (← links)
- On models with large automorphism groups (Q5646893) (← links)
