Completeness of the primitive recursive \(\omega \)-rule (Q781515)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Completeness of the primitive recursive \(\omega \)-rule |
scientific article |
Statements
Completeness of the primitive recursive \(\omega \)-rule (English)
0 references
17 July 2020
0 references
Shoenfield's completeness theorem
0 references
\( \omega \)-rule
0 references
primitive recursion theorem
0 references
Kleene's \({\mathcal{O}}\)
0 references
\(\varPi^1_1\) completeness
0 references