<i>Σ</i><sub>1</sub> definitions with parameters (Q3765757)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | <i>Σ</i><sub>1</sub> definitions with parameters |
scientific article |
Statements
<i>Σ</i><sub>1</sub> definitions with parameters (English)
0 references
1986
0 references
admissible set
0 references
E-recursivity
0 references
\(ES_ p\)-recursivity
0 references
Normann schemes
0 references
