Constructive validity is nonarithmetic (Q5202185)
From MaRDI portal
scientific article; zbMATH DE number 4193665
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constructive validity is nonarithmetic |
scientific article; zbMATH DE number 4193665 |
Statements
Constructive validity is nonarithmetic (English)
0 references
1988
0 references
arithmetical definability of logical validity
0 references
Heyting's intuitionistic second-order arithmetic
0 references
Kleene hierarchy
0 references
incompleteness theorem
0 references
recursive models of arithmetic
0 references
