Logics with Zero-One Laws that Are Not Fragments of Bounded-Variable Infinitary Logic (Q4336698)
From MaRDI portal
scientific article; zbMATH DE number 1009465
Language | Label | Description | Also known as |
---|---|---|---|
English | Logics with Zero-One Laws that Are Not Fragments of Bounded-Variable Infinitary Logic |
scientific article; zbMATH DE number 1009465 |
Statements
Logics with Zero-One Laws that Are Not Fragments of Bounded-Variable Infinitary Logic (English)
0 references
5 November 1997
0 references
descriptive complexity theory
0 references
bounded-variable infinitary logic
0 references
generalized quantifiers
0 references
zero-one laws
0 references
pebble games
0 references
Ehrenfeucht-Fraissé games
0 references