MathDB1 problem
- 0 votes0 replies0 views
Higher-order generalized quantifier conjecture for team semantics
Team semantics evaluates formulas on teams, where a team is a set of assignments, and Mostowski quantifiers are interpreted using collections of subsets of the domain. Consideratio…