Ranked structures and arithmetic transfinite recursion (Q5437595): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Back and forth relations for reduced abelian \(p\)-groups
+Normal rank
@@ Property / cites work @@
+Infinitary properties of abelian torsion groups
@@ Property / cites work: Infinitary properties of abelian torsion groups / rank @@
+Normal rank
@@ Property / cites work @@
+The isomorphism problem for classes of computable fields
+Normal rank
@@ Property / cites work @@
+Comparing Classes of Finite Structures
@@ Property / cites work: Comparing Classes of Finite Structures / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of the isomorphism relation for countable Boolean algebras
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and the equivalence of definitions for well and better quasi-orders
+Normal rank
@@ Property / cites work @@
+Weak comparability of well orderings and reverse mathematics
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and homeomorphic embeddings
@@ Property / cites work: Reverse mathematics and homeomorphic embeddings / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711885
@@ Property / cites work: Q5711885 / rank @@
+Normal rank
@@ Property / cites work @@
+Countable algebra and set existence axioms
@@ Property / cites work: Countable algebra and set existence axioms / rank @@
+Normal rank
@@ Property / cites work @@
+The homeomorphism problem for countable topological spaces
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and ordinal exponentiation
@@ Property / cites work: Reverse mathematics and ordinal exponentiation / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and rank functions for directed graphs
+Normal rank
@@ Property / cites work @@
+Q5711887
@@ Property / cites work: Q5711887 / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic equivalence relations and Ulm-type classifications
+Normal rank
@@ Property / cites work @@
+Recent developments in the theory of Borel reducibility
+Normal rank
@@ Property / cites work @@
+Q5589390
@@ Property / cites work: Q5589390 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimally generated Boolean algebras
@@ Property / cites work: Minimally generated Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Up to equimorphism, hyperarithmetic is recursive
@@ Property / cites work: Up to equimorphism, hyperarithmetic is recursive / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485837
@@ Property / cites work: Q4485837 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Fine hierarchy and definable index sets
@@ Property / cites work: Fine hierarchy and definable index sets / rank @@
+Normal rank
@@ Property / cites work @@
+Logical methods. In honor of Anil Nerode's 60th birthday
+Normal rank
@@ Property / cites work @@
+Invariants, Boolean algebras and ACA₀⁺
@@ Property / cites work: Invariants, Boolean algebras and ACA₀⁺ / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive well-orderings
@@ Property / cites work: Recursive well-orderings / rank @@
+Normal rank