Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory (Q2566070): Difference between revisions

@@ Property / cites work @@
+Q3937387
@@ Property / cites work: Q3937387 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3310616
@@ Property / cites work: Q3310616 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3762311
@@ Property / cites work: Q3762311 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4109654
@@ Property / cites work: Q4109654 / rank @@
+Normal rank
@@ Property / cites work @@
+Provable wellorderings of formal theories for transfinitely iterated inductive definitions
+Normal rank
@@ Property / cites work @@
+Q4128540
@@ Property / cites work: Q4128540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3882452
@@ Property / cites work: Q3882452 / rank @@
+Normal rank
@@ Property / cites work @@
+The lack of definable witnesses and provably recursive functions in intuitionistic set theories
+Normal rank
@@ Property / cites work @@
+A well-ordering proof for Feferman's theoryT 0
@@ Property / cites work: A well-ordering proof for Feferman's theoryT 0 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3222842
@@ Property / cites work: Q3222842 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773877
@@ Property / cites work: Q3773877 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934564
@@ Property / cites work: Q4934564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4453639
@@ Property / cites work: Q4453639 / rank @@
+Normal rank
@@ Property / cites work @@
+On the regular extension axiom and its variants
@@ Property / cites work: On the regular extension axiom and its variants / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143279
@@ Property / cites work: Q4143279 / rank @@
+Normal rank