Light monotone Dialectica methods for proof mining (Q3184220): 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.200710093
+Normal rank
@@ Property / OpenAlex ID @@
+W2114110304
@@ Property / OpenAlex ID: W2114110304 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215634
@@ Property / cites work: Q4215634 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform Heyting arithmetic
@@ Property / cites work: Uniform Heyting arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Refined program extraction from classical proofs
@@ Property / cites work: Refined program extraction from classical proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+On the axiom of extensionality – Part I
@@ Property / cites work: On the axiom of extensionality – Part I / rank @@
+Normal rank
@@ Property / cites work @@
+On the axiom of extensionality, Part II
@@ Property / cites work: On the axiom of extensionality, Part II / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Q2871866
@@ Property / cites work: Q2871866 / 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 @@
+Pointwise hereditary majorization and some applications
+Normal rank
@@ Property / cites work @@
+Q3837732
@@ Property / cites work: Q3837732 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
+Normal rank
@@ Property / cites work @@
+Q4218526
@@ Property / cites work: Q4218526 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222972
@@ Property / cites work: Q4222972 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4793025
@@ Property / cites work: Q4793025 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3396625
@@ Property / cites work: Q3396625 / rank @@
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Q4681899
@@ Property / cites work: Q4681899 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional Gödel functional interpretation. A consistency proof of classical analysis
+Normal rank
@@ Property / cites work @@
+Q4085704
@@ Property / cites work: Q4085704 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3184220