Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators (Q638478): Difference between revisions

@@ Property / arXiv ID @@
+.2007
@@ Property / arXiv ID: 1005.2007 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal diagrams for recursively Mahlo universes
@@ Property / cites work: Ordinal diagrams for recursively Mahlo universes / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal diagrams for Π<sub>3</sub>-reflection
@@ Property / cites work: Ordinal diagrams for Π<sub>3</sub>-reflection / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory for theories of ordinals. I: Recursively Mahlo ordinals
+Normal rank
@@ Property / cites work @@
+Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection
+Normal rank
@@ Property / cites work @@
+Proof Theory for Theories of Ordinals III: $$\Pi _{N}$$ -Reflection
+Normal rank
@@ Property / cites work @@
+Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π<sub>2</sub><sup>0</sup>-operators
+Normal rank
@@ Property / cites work @@
+Iterating the recursively Mahlo operations
@@ Property / cites work: Iterating the recursively Mahlo operations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4109654
@@ Property / cites work: Q4109654 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079598
@@ Property / cites work: Q4079598 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-ordering proofs for Martin-Löf type theory
@@ Property / cites work: Well-ordering proofs for Martin-Löf type theory / rank @@
+Normal rank