There are just four second-order quantifiers
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3286895 (Why is no real title available?)
- scientific article; zbMATH DE number 3304995 (Why is no real title available?)
- scientific article; zbMATH DE number 3316931 (Why is no real title available?)
- scientific article; zbMATH DE number 3399221 (Why is no real title available?)
- First order theory of permutation groups
- Homogeneous Universal Models.
- Intersection Theorems for Systems of Sets (II)
- On elementary types of symmetric groups
Cited in
(6)- Models with few isomorphic expansions
- On ultrafilter extensions of first-order models and ultrafilter interpretations
- Elementary equivalent pairs of algebras associated with sets
- Independence, order, and the interaction of ultrafilters and theories
- A dichotomy in classifying quantifiers for finite models
- First order theory of permutation groups
This page was built for publication: There are just four second-order quantifiers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2264753)
