Hierarchies of Effective Descriptive Set Theory (Q5585409): Difference between revisions

@@ label / en / label / en @@
+Hierarchies of Effective Descriptive Set Theory
@@ Property / full work available at URL @@
+https://doi.org/10.2307/1995348
@@ Property / full work available at URL: https://doi.org/10.2307/1995348 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4247727108
@@ Property / OpenAlex ID: W4247727108 / rank @@
+Normal rank
@@ Property / title @@
+Hierarchies of Effective Descriptive Set Theory (English)
+Normal rank
@@ Property / cites work @@
+Separation principles in the hierarchies of classical and effective descriptive set theory
+Normal rank
@@ Property / cites work @@
+Q5519133
@@ Property / cites work: Q5519133 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596752
@@ Property / cites work: Q5596752 / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Function Quantification
@@ Property / cites work: A Note on Function Quantification / rank @@
+Normal rank
@@ Property / cites work @@
+Q5759301
@@ Property / cites work: Q5759301 / rank @@
+Normal rank
@@ Property / cites work @@
+Memoir on the Analytical Operations and Projective Sets (I)
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of number-theoretic predicates
@@ Property / cites work: Hierarchies of number-theoretic predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Functionals and Quantifiers of Finite Types I
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperanalytic Predicates
@@ Property / cites work: Hyperanalytic Predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract First Order Computability. I
@@ Property / cites work: Abstract First Order Computability. I / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Unsolvability. (AM-55)
@@ Property / cites work: Degrees of Unsolvability. (AM-55) / rank @@
+Normal rank