Effectively closed subgroups of the infinite symmetric group (Q4691363): Difference between revisions

@@ Property / cites work @@
+Pairs of recursive structures
@@ Property / cites work: Pairs of recursive structures / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Effectively closed sets and enumerations
@@ Property / cites work: Effectively closed sets and enumerations / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous higher randomness
@@ Property / cites work: Continuous higher randomness / rank @@
+Normal rank
@@ Property / cites work @@
+Q5384984
@@ Property / cites work: Q5384984 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4956005
@@ Property / cites work: Q4956005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3525843
@@ Property / cites work: Q3525843 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4764108
@@ Property / cites work: Q4764108 / rank @@
+Normal rank
@@ Property / cites work @@
+On effectively closed sets of effective strong measure zero
+Normal rank
@@ Property / cites work @@
+Algebraic extensions of finite corank of Hilbertian fields
+Normal rank
@@ Property / cites work @@
+Effective Galois theory
@@ Property / cites work: Effective Galois theory / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial group theory.
@@ Property / cites work: Combinatorial group theory. / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on the Computable Categoricity of $$\ell ^p$$ ℓ p Spaces
+Normal rank
@@ Property / cites work @@
+Computable topological groups and Pontryagin duality
+Normal rank
@@ Property / cites work @@
+Computably Isometric Spaces
@@ Property / cites work: Computably Isometric Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+COMPUTABLE POLISH GROUP ACTIONS
@@ Property / cites work: COMPUTABLE POLISH GROUP ACTIONS / rank @@
+Normal rank
@@ Property / cites work @@
+Effective content of field theory
@@ Property / cites work: Effective content of field theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Effectively closed sets of measures and randomness
+Normal rank
@@ Property / cites work @@
+Recursion theory week. Proceedings of a conference held in Oberwolfach, Germany, March 19-25, 1989
+Normal rank
@@ Property / cites work @@
+Effective aspects of profinite groups
@@ Property / cites work: Effective aspects of profinite groups / rank @@
+Normal rank