Weitere Verschärfungen zu den Reduktionstypen ∀∃<sup>∞</sup>∀(0,1), ∃<sup>∞</sup>∀<sup>3</sup>∃(∞, 1) (Q5202646): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 20:16, 5 March 2024
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