Classical provability of uniform versions and intuitionistic provability (Q5258475): 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.201300056
+Normal rank
@@ Property / OpenAlex ID @@
+W1505161136
@@ Property / OpenAlex ID: W1505161136 / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
+Normal rank
@@ Property / cites work @@
+Classical consequences of continuous choice principles from intuitionistic analysis
+Normal rank
@@ Property / cites work @@
+Reverse mathematics, trichotomy, and dichotomy
@@ Property / cites work: Reverse mathematics, trichotomy, and dichotomy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4185007
@@ Property / cites work: Q4185007 / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and uniformity in proofs without excluded middle
+Normal rank
@@ Property / cites work @@
+Q5545953
@@ Property / cites work: Q5545953 / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
+Normal rank
@@ Property / cites work @@
+Pointwise hereditary majorization and some applications
+Normal rank
@@ Property / cites work @@
+Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
+Normal rank
@@ Property / cites work @@
+Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
+Normal rank
@@ Property / cites work @@
+A note on Spector's quantifier-free rule of extensionality
+Normal rank
@@ Property / cites work @@
+On uniform weak König's lemma
@@ Property / cites work: On uniform weak König's lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Extensional Gödel functional interpretation. A consistency proof of classical analysis
+Normal rank
@@ Property / cites work @@
+Uniform versions of some axioms of second order arithmetic
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5258475