Unavoidable sequences in constructive analysis (Q3552398)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 5693192
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Unavoidable sequences in constructive analysis |
scientific article; zbMATH DE number 5693192 |
Statements
Unavoidable sequences in constructive analysis (English)
0 references
15 April 2010
0 references
constructive analysis
0 references
intuitionistic analysis
0 references
realizability
0 references
unavoidable sequence
0 references
strongly inadmissible rule
0 references
Markov's principle
0 references
0.7923479080200195
0 references
0.7923479080200195
0 references
0.7751781344413757
0 references
0.7587491273880005
0 references
0.7585070729255676
0 references
