A formalization of Brouwer's argument for bar induction (Q1799271)
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: A formalization of Brouwer's argument for bar induction |
scientific article; zbMATH DE number 6958307
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A formalization of Brouwer's argument for bar induction |
scientific article; zbMATH DE number 6958307 |
Statements
A formalization of Brouwer's argument for bar induction (English)
0 references
18 October 2018
0 references
Brouwer's bar induction
0 references
intuitionism
0 references
infinitary proof theory
0 references
0.87167114
0 references
0.86696327
0 references
0.8628398
0 references
0 references
0.8385123
0 references
0.8314551
0 references
0.82191813
0 references
0.8206581
0 references
0.8175717
0 references
