The non-normal abyss in Kleene's computability theory (Q6149028): Difference between revisions

@@ Property / OpenAlex ID @@
+W4384789053
@@ Property / OpenAlex ID: W4384789053 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215634
@@ Property / cites work: Q4215634 / rank @@
+Normal rank
@@ Property / cites work @@
+Cousin’s lemma in second-order arithmetic
@@ Property / cites work: Cousin’s lemma in second-order arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on real cliquish functions
@@ Property / cites work: A note on real cliquish functions / rank @@
+Normal rank
@@ Property / cites work @@
+Sums of quasicontinuous functions defined on pseudometrizable spaces
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+Q3667105
@@ Property / cites work: Q3667105 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5611757
@@ Property / cites work: Q5611757 / rank @@
+Normal rank
@@ Property / cites work @@
+USCO and quasicontinuous mappings
@@ Property / cites work: USCO and quasicontinuous mappings / rank @@
+Normal rank
@@ Property / cites work @@
+There are \(2^{\mathfrak{c}}\) quasicontinuous non Borel functions on uncountable Polish space
+Normal rank
@@ Property / cites work @@
+Recursive Functionals and Quantifiers of Finite Types I
+Normal rank
@@ Property / cites work @@
+Q4793025
@@ Property / cites work: Q4793025 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711891
@@ Property / cites work: Q5711891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883148
@@ Property / cites work: Q3883148 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-Order Computability
@@ Property / cites work: Higher-Order Computability / rank @@
+Normal rank
@@ Property / cites work @@
+On the Products of Bounded Darboux Baire One Functions
+Normal rank
@@ Property / cites work @@
+Open sets in computability theory and reverse mathematics
+Normal rank
@@ Property / cites work @@
+Pincherle's theorem in reverse mathematics and computability theory
+Normal rank
@@ Property / cites work @@
+The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis
+Normal rank
@@ Property / cites work @@
+ON THE UNCOUNTABILITY OF
@@ Property / cites work: ON THE UNCOUNTABILITY OF / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational properties of basic mathematical notions
+Normal rank
@@ Property / cites work @@
+On the Computability of the Fan Functional
@@ Property / cites work: On the Computability of the Fan Functional / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6149028