Interpreting classical theories in constructive ones (Q2710607): 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.2307/2695075
@@ Property / full work available at URL: https://doi.org/10.2307/2695075 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1975734325
@@ Property / OpenAlex ID: W1975734325 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2710607