Eine Bemerkung zu spektralen Darstellungen von ϱ-stelligen aufzählbaren und koaufzählbaren Prädikaten durch Ausdrücke aus ∃∀∃∞ und ∀∃2∀(∞, 1) (Q3204448)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Eine Bemerkung zu spektralen Darstellungen von ϱ-stelligen aufzählbaren und koaufzählbaren Prädikaten durch Ausdrücke aus ∃∀∃∞ und ∀∃2∀(∞, 1) |
scientific article |
Statements
Eine Bemerkung zu spektralen Darstellungen von ϱ-stelligen aufzählbaren und koaufzählbaren Prädikaten durch Ausdrücke aus ∃∀∃∞ und ∀∃2∀(∞, 1) (English)
0 references
1990
0 references
spectral representations of \(\rho \) -ary enumerable and coenumerable predicates
0 references
Turing machine
0 references
