CZF and second order arithmetic (Q2498896): Difference between revisions

@@ Property / arXiv ID @@
+.00469
@@ Property / arXiv ID: 1510.00469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3762311
@@ Property / cites work: Q3762311 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3310616
@@ Property / cites work: Q3310616 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+Algebraic set theory and the effective topos
@@ Property / cites work: Algebraic set theory and the effective topos / rank @@
+Normal rank
@@ Property / cites work @@
+Independence results around constructive ZF
@@ Property / cites work: Independence results around constructive ZF / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive set theory
@@ Property / cites work: Constructive set theory / 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 @@
+Q4381421
@@ Property / cites work: Q4381421 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718562
@@ Property / cites work: Q5718562 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank