Zum Reduktionstyp ∃<sup>∞</sup>∀∃∀ (0, 1) Und Zur Spektralen Darstellung ϱ‐Stelliger Aufzählbarer und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∃<sup>∞</sup>∀∃∀ (ϱ, 1) (Q5749281)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4183396
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Zum Reduktionstyp ∃<sup>∞</sup>∀∃∀ (0, 1) Und Zur Spektralen Darstellung ϱ‐Stelliger Aufzählbarer und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∃<sup>∞</sup>∀∃∀ (ϱ, 1) |
scientific article; zbMATH DE number 4183396 |
Statements
Zum Reduktionstyp ∃<sup>∞</sup>∀∃∀ (0, 1) Und Zur Spektralen Darstellung ϱ‐Stelliger Aufzählbarer und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∃<sup>∞</sup>∀∃∀ (ϱ, 1) (English)
0 references
1989
0 references
reduction type of first-order formula
0 references
representation of recursively enumerable predicates
0 references
0.8915684223175049
0 references
0.8902296423912048
0 references
0.8820059895515442
0 references
0.8693605065345764
0 references
0.8509278893470764
0 references
