Some axioms for constructive analysis (Q453178)
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: Some axioms for constructive analysis |
scientific article; zbMATH DE number 6083816
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Some axioms for constructive analysis |
scientific article; zbMATH DE number 6083816 |
Statements
Some axioms for constructive analysis (English)
0 references
18 September 2012
0 references
The authors deal with numerous axioms (function comprehension, choice, fan and bar theorem, weak König's lemma, etc.) at the borderlines between constructive, intuitionistic, recursive, and classical analysis. Among other things they relate Kleene's and Troelstra's minimal formal theories of numbers and number sequences, decompose countable choice into a monotone and a boundede part, and propose a version of weak König's lemma with uniqueness hypothesis.
0 references
axioms
0 references
minimal formal theories of numbers and number sequences
0 references
classical analysis
0 references
recursive analysis
0 references
constructive analysis
0 references
intuitionistic analysis
0 references
countable choice
0 references
weak König's lemma
0 references
0 references
0.89749134
0 references
0.8920394
0 references
0 references
0.8914689
0 references
0.8861413
0 references
0.8851035
0 references
0.87823683
0 references
