Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness (Q5351967)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness |
scientific article; zbMATH DE number 6767605
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness |
scientific article; zbMATH DE number 6767605 |
Statements
31 August 2017
0 references
intuitionism
0 references
inductive definitions
0 references
proof theory
0 references
impredicativity
0 references
omega rule
0 references
Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness (English)
0 references
0.8981508
0 references
0.89578146
0 references
0.89072174
0 references
0.8875906
0 references
0.8853705
0 references
0.8852912
0 references
0.87823254
0 references
