Constructive definition of certain analytic sets of numbers (Q3265667): Difference between revisions

@@ Property / cites work @@
+Q5526081
@@ Property / cites work: Q5526081 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Q3226736
@@ Property / cites work: Q3226736 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
+Normal rank
@@ Property / cites work @@
+Hierarchies of number-theoretic predicates
@@ Property / cites work: Hierarchies of number-theoretic predicates / rank @@
+Normal rank
@@ Property / cites work @@
+A simplification of basic logic
@@ Property / cites work: A simplification of basic logic / rank @@
+Normal rank