The extended plus-one hypothesis—A relative consistency result (Q3342551): Difference between revisions

@@ Property / cites work @@
+Long projective wellorderings
@@ Property / cites work: Long projective wellorderings / rank @@
+Normal rank
@@ Property / cites work @@
+Selection in abstract recursion theory
@@ Property / cites work: Selection in abstract recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+Inadmissible forcing
@@ Property / cites work: Inadmissible forcing / rank @@
+Normal rank
@@ Property / cites work @@
+Selection functions for recursive functionals
@@ Property / cites work: Selection functions for recursive functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Effective cofinalities and admissibility in E-recursion
+Normal rank
@@ Property / cites work @@
+The K-Section of a Type n Object
@@ Property / cites work: The K-Section of a Type n Object / rank @@
+Normal rank