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
scientific article; zbMATH DE number 4183396
Language | Label | Description | Also known as |
---|---|---|---|
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