Some theories with positive induction of ordinal strength <i>φω</i>0 (Q5687318): Difference between revisions

@@ Property / cites work @@
+Fragments of arithmetic
@@ Property / cites work: Fragments of arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on Formal Theories of Truth
@@ Property / cites work: Notes on Formal Theories of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Totality in applicative theories
@@ Property / cites work: Totality in applicative theories / rank @@
+Normal rank
@@ Property / cites work @@
+Second order theories with ordinals and elementary comprehension
+Normal rank
@@ Property / cites work @@
+Fixed points in Peano arithmetic with ordinals
@@ Property / cites work: Fixed points in Peano arithmetic with ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Beweistheorie vonKPN
@@ Property / cites work: Beweistheorie vonKPN / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank