A representation theorem for languages with generalized quantifiers through back-and-forth methods (Q752702)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A representation theorem for languages with generalized quantifiers through back-and-forth methods |
scientific article |
Statements
A representation theorem for languages with generalized quantifiers through back-and-forth methods (English)
0 references
1988
0 references
The logic L(Q) generalising the ordinary logic \(L_{\omega \omega}\) by a system Q of Mostowski quantifiers is considered. For the language L(Q) some version of Fraissé-Ehrenfeucht-Taimanov game on structures is given. It is proved that formulas of L(Q) have representations by functors between categories of structures and partial isomorphisms.
0 references
representation of formulas
0 references
Mostowski quantifiers
0 references
Fraissé-Ehrenfeucht- Taimanov game
0 references
functors between categories of structures
0 references
