On the computational content of the Bolzano-Weierstraß Principle (Q3053232): Difference between revisions

@@ 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.1002/malq.200910106
+Normal rank
@@ Property / OpenAlex ID @@
+W1964587127
@@ Property / OpenAlex ID: W1964587127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215634
@@ Property / cites work: Q4215634 / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
+Normal rank
@@ Property / cites work @@
+On Tao's “finitary” infinite pigeonhole principle
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Ordinal analysis of simple cases of bar recursion
@@ Property / cites work: Ordinal analysis of simple cases of bar recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
+Normal rank
@@ Property / cites work @@
+Q4218526
@@ Property / cites work: Q4218526 / rank @@
+Normal rank
@@ Property / cites work @@
+Elimination of Skolem functions for monotone formulas in analysis
+Normal rank
@@ Property / cites work @@
+On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness
+Normal rank
@@ Property / cites work @@
+On the No-Counterexample Interpretation
@@ Property / cites work: On the No-Counterexample Interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+Things that can and things that cannot be done in PRA
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Q3001098
@@ Property / cites work: Q3001098 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681899
@@ Property / cites work: Q4681899 / rank @@
+Normal rank
@@ Property / cites work @@
+On <i>n</i>-quantifier induction
@@ Property / cites work: On <i>n</i>-quantifier induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613181
@@ Property / cites work: Q5613181 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519134
@@ Property / cites work: Q5519134 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085704
@@ Property / cites work: Q4085704 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3053232