Barwise: Abstract Model Theory and Generalized Quantifiers (Q4678933)
From MaRDI portal
scientific article; zbMATH DE number 2171368
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Barwise: Abstract Model Theory and Generalized Quantifiers |
scientific article; zbMATH DE number 2171368 |
Statements
Barwise: Abstract Model Theory and Generalized Quantifiers (English)
0 references
24 May 2005
0 references
Mostowski quantifier
0 references
soft model theory
0 references
Lindström quantifier
0 references
Lindström theorem
0 references
absolute logic
0 references
back and forth properties
0 references
0 references
