Infinite games and reduced products (Q3966110)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Infinite games and reduced products |
scientific article |
Statements
Infinite games and reduced products (English)
0 references
1981
0 references
kappa-complete filters
0 references
Horn logic
0 references
ultrafilters
0 references
game quantifiers
0 references
interpolation theorem
0 references
Beth definability theorem
0 references
amalgamation property
0 references
noncompact logic
0 references
Craig interpolation theorem
0 references
Feferman-Vaught property
0 references
