THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY (Q5099782)
From MaRDI portal
scientific article; zbMATH DE number 7576540
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY |
scientific article; zbMATH DE number 7576540 |
Statements
THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY (English)
0 references
26 August 2022
0 references
constructive semantics
0 references
realizability
0 references
primitive recursive functions
0 references
predicate logic
0 references
nonarithmeticity
0 references
