Universality is a \(\Sigma^1_1\)-complete property (Q925146)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Universality is a \(\Sigma^1_1\)-complete property |
scientific article |
Statements
Universality is a \(\Sigma^1_1\)-complete property (English)
0 references
29 May 2008
0 references
universal element
0 references
\(\Sigma^1_1\)-complete
0 references