Some results in the effective descriptive set theory (Q5567856): Difference between revisions

@@ Property / cites work @@
+Separation principles in the hierarchies of classical and effective descriptive set theory
+Normal rank
@@ Property / cites work @@
+Some consequences of the axiom of constructibility
+Normal rank
@@ Property / cites work @@
+On a problem of Kleene’s
@@ Property / cites work: On a problem of Kleene’s / rank @@
+Normal rank
@@ Property / cites work @@
+Elementarily definable analysis
@@ Property / cites work: Elementarily definable analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical Predicates and Function Quantifiers
@@ Property / cites work: Arithmetical Predicates and Function Quantifiers / 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 @@
+Q5775449
@@ Property / cites work: Q5775449 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5823362
@@ Property / cites work: Q5823362 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3269140
@@ Property / cites work: Q3269140 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3243267
@@ Property / cites work: Q3243267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3230475
@@ Property / cites work: Q3230475 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5762094
@@ Property / cites work: Q5762094 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Q5567855
@@ Property / cites work: Q5567855 / rank @@
+Normal rank
@@ Property / cites work @@
+Sur les propriétés des constituantes des ensembles analytiques
+Normal rank
@@ Property / cites work @@
+Nicht konstruktiv beweisbare Sätze der Analysis
@@ Property / cites work: Nicht konstruktiv beweisbare Sätze der Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive well-orderings
@@ Property / cites work: Recursive well-orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q5526970
@@ Property / cites work: Q5526970 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3276699
@@ Property / cites work: Q3276699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5567854
@@ Property / cites work: Q5567854 / rank @@
+Normal rank