<i>L</i><sub><i>ω</i>1<i>ω</i></sub> is enough: a reduction theorem for some infinitary languages (Q4405135)
From MaRDI portal
scientific article; zbMATH DE number 3437113
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | <i>L</i><sub><i>ω</i>1<i>ω</i></sub> is enough: a reduction theorem for some infinitary languages |
scientific article; zbMATH DE number 3437113 |
Statements
<i>L</i><sub><i>ω</i>1<i>ω</i></sub> is enough: a reduction theorem for some infinitary languages (English)
0 references
1973
0 references
