Some axioms for constructive analysis (Q453178): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Peter M. Schuster / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F55 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F60 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6083816 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
axioms | |||
Property / zbMATH Keywords: axioms / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
minimal formal theories of numbers and number sequences | |||
Property / zbMATH Keywords: minimal formal theories of numbers and number sequences / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
classical analysis | |||
Property / zbMATH Keywords: classical analysis / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
recursive analysis | |||
Property / zbMATH Keywords: recursive analysis / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
constructive analysis | |||
Property / zbMATH Keywords: constructive analysis / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
intuitionistic analysis | |||
Property / zbMATH Keywords: intuitionistic analysis / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
countable choice | |||
Property / zbMATH Keywords: countable choice / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
weak König's lemma | |||
Property / zbMATH Keywords: weak König's lemma / rank | |||
Normal rank |
Revision as of 11:55, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some axioms for constructive analysis |
scientific article |
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