<i>E</i>-RECURSION 2012 (Q3461818)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | <i>E</i>-RECURSION 2012 |
scientific article |
Statements
<i>E</i>-RECURSION 2012 (English)
0 references
18 January 2016
0 references
admissibility
0 references
\(E\)-recursive functions
0 references
\(E\)-recursive enumerability
0 references
reflecting ordinals
0 references
forcing
0 references
\(E\)-closed structures
0 references