Some axioms for constructive analysis
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.
minimal formal theories of numbers and number sequences
scientific article; zbMATH DE number 6083816
scientific article