Weitere Verschärfungen zu den Reduktionstypen ∀∃<sup>∞</sup>∀(0,1), ∃<sup>∞</sup>∀<sup>3</sup>∃(∞, 1) (Q5202646)
From MaRDI portal
scientific article; zbMATH DE number 4195921
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Weitere Verschärfungen zu den Reduktionstypen ∀∃<sup>∞</sup>∀(0,1), ∃<sup>∞</sup>∀<sup>3</sup>∃(∞, 1) |
scientific article; zbMATH DE number 4195921 |
Statements
Weitere Verschärfungen zu den Reduktionstypen ∀∃<sup>∞</sup>∀(0,1), ∃<sup>∞</sup>∀<sup>3</sup>∃(∞, 1) (English)
0 references
1990
0 references
register machine
0 references
spectral representations of \(\rho \) -ary predicates
0 references
reduction types
0 references
first-order logic without equality
0 references
simulation method
0 references
