Relativized logspace and generalized quantifiers over finite ordered structures (Q4358054)
From MaRDI portal
scientific article; zbMATH DE number 1067269
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relativized logspace and generalized quantifiers over finite ordered structures |
scientific article; zbMATH DE number 1067269 |
Statements
Relativized logspace and generalized quantifiers over finite ordered structures (English)
0 references
28 September 1997
0 references
relativization
0 references
logspace
0 references
bounded queries
0 references
expressive power
0 references
first-order logic with generalized quantifiers over finite
0 references
ordered structures
0 references
complexity class
0 references
oracle
0 references
Henkin quantifiers
0 references
0 references
