Unavoidable sequences in constructive analysis (Q3552398)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unavoidable sequences in constructive analysis |
scientific article |
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
