A note on the theory SID<ω of stratified induction (Q2933746): Difference between revisions

@@ Property / DOI @@
-.1002/malq.201300063
@@ Property / DOI: 10.1002/malq.201300063 / rank @@
-Normal rank
@@ Property / cites work @@
+A note on the theory of positive induction, \({{\text{ID}}^*_1}\)
+Normal rank
@@ Property / cites work @@
+Q3705449
@@ Property / cites work: Q3705449 / rank @@
+Normal rank
@@ Property / cites work @@
+The proof-theoretic analysis of transfinitely iterated fixed point theories
+Normal rank
@@ Property / cites work @@
+Proof theory. The first step into impredicativity
@@ Property / cites work: Proof theory. The first step into impredicativity / rank @@
+Normal rank
@@ Property / cites work @@
+The proof-theoretic analysis of transfinitely iterated quasi least fixed points
+Normal rank
@@ Property / DOI @@
+.1002/MALQ.201300063
@@ Property / DOI: 10.1002/MALQ.201300063 / rank @@
+Normal rank