Slicewise Definability in First-Order Logic with Bounded Quantifier Rank. (Q5111186)
From MaRDI portal
scientific article; zbMATH DE number 7204311
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Slicewise Definability in First-Order Logic with Bounded Quantifier Rank. |
scientific article; zbMATH DE number 7204311 |
Statements
26 May 2020
0 references
first-order logic
0 references
quantifier rank
0 references
parameterized \(\mathrm{AC}^0\)
0 references
circuit depth
0 references
Slicewise Definability in First-Order Logic with Bounded Quantifier Rank. (English)
0 references
