AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS (Q4551993): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The model-theoretic ordinal analysis of theories of predicative strength
+Normal rank
@@ Property / cites work @@
+On Weak Theories of Sets and Classes which are Based on Strict ∏‐REFLECTION
+Normal rank
@@ Property / cites work @@
+Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
+Normal rank
@@ Property / cites work @@
+A proof-theoretic characterization of the primitive recursive set functions
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4551993