Some axioms for constructive analysis (Q453178): Difference between revisions

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

reviewed by

Peter M. Schuster

0 references

zbMATH Keywords

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

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s00153-012-0273-z

0 references

cites work

Q3567844

0 references

Brouwer's fan theorem and unique existence in constructive analysis

0 references

Q3754620

0 references

Sequences of real functions on [0,1] in constructive reverse mathematics

0 references

Q5718575

0 references

Q5812175

0 references

Formalized recursive functionals and formalized realizability

0 references

Q5343325

0 references

Equivalents of the (weak) fan theorem

0 references

Can there be no nonrecursive functions?

0 references

Lifschitz' realizability

0 references

Q5310891

0 references

Q5183475

0 references

Note on the fan theorem

0 references

Constructivism in mathematics. An introduction. Volume II

0 references

Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem

0 references

Some applications of Kripke models to formal systems of intuitionistic analysis

0 references

Identifiers

zbMATH Open document ID

1262.03125

0 references

DOI

10.1007/s00153-012-0273-z

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:453178

@@ 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.
+Normal rank
@@ Property / reviewed by @@
+Peter M. Schuster
@@ Property / reviewed by: Peter M. Schuster / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F50
@@ Property / Mathematics Subject Classification ID: 03F50 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F35
@@ Property / Mathematics Subject Classification ID: 03F35 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F55
@@ Property / Mathematics Subject Classification ID: 03F55 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F60
@@ Property / Mathematics Subject Classification ID: 03F60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6083816
@@ 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
+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
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00153-012-0273-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2057631483
@@ Property / OpenAlex ID: W2057631483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3567844
@@ Property / cites work: Q3567844 / rank @@
+Normal rank
@@ Property / cites work @@
+Brouwer's fan theorem and unique existence in constructive analysis
+Normal rank
@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequences of real functions on [0,1] in constructive reverse mathematics
+Normal rank
@@ Property / cites work @@
+Q5718575
@@ Property / cites work: Q5718575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalized recursive functionals and formalized realizability
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalents of the (weak) fan theorem
@@ Property / cites work: Equivalents of the (weak) fan theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Can there be no nonrecursive functions?
@@ Property / cites work: Can there be no nonrecursive functions? / rank @@
+Normal rank
@@ Property / cites work @@
+Lifschitz' realizability
@@ Property / cites work: Lifschitz' realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5310891
@@ Property / cites work: Q5310891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5183475
@@ Property / cites work: Q5183475 / rank @@
+Normal rank
@@ Property / cites work @@
+Note on the fan theorem
@@ Property / cites work: Note on the fan theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem
+Normal rank
@@ Property / cites work @@
+Some applications of Kripke models to formal systems of intuitionistic analysis
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:453178