Interpreting classical theories in constructive ones (Q2710607): Difference between revisions

@@ Property / cites work @@
+A proof-theoretic characterization of the primitive recursive set functions
+Normal rank
@@ Property / cites work @@
+The model-theoretic ordinal analysis of theories of predicative strength
+Normal rank
@@ Property / cites work @@
+Type-theoretic interpretation of iterated, strictly positive inductive definitions
+Normal rank
@@ Property / cites work @@
+Q3778746
@@ Property / cites work: Q3778746 / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of some Martin-Löf type theories
@@ Property / cites work: The strength of some Martin-Löf type theories / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of classical set theory relative to a set theory with intu1tionistic logic
+Normal rank
@@ Property / cites work @@
+A new method for establishing conservativity of  classical systems over their intuitionistic version
+Normal rank
@@ Property / cites work @@
+Functional interpretations of feasibly constructive arithmetic
+Normal rank