Inductive inference and reverse mathematics (Q324252): Difference between revisions

@@ Property / cites work @@
+Inductive inference and unsolvability
@@ Property / cites work: Inductive inference and unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive inference of formal languages from positive data
+Normal rank
@@ Property / cites work @@
+Inference of Reversible Languages
@@ Property / cites work: Inference of Reversible Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Toward a mathematical theory of inductive inference
+Normal rank
@@ Property / cites work @@
+Q3704910
@@ Property / cites work: Q3704910 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs
+Normal rank
@@ Property / cites work @@
+The metamathematics of Stable Ramsey’s Theorem for Pairs
+Normal rank
@@ Property / cites work @@
+Topological properties of concept spaces (full version)
+Normal rank
@@ Property / cites work @@
+Mind change complexity of inferring unbounded unions of restricted pattern languages from positive data
+Normal rank
@@ Property / cites work @@
+On the strength of the finite intersection principle
+Normal rank
@@ Property / cites work @@
+Q4111536
@@ Property / cites work: Q4111536 / rank @@
+Normal rank
@@ Property / cites work @@
+Language identification in the limit
@@ Property / cites work: Language identification in the limit / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics based on incremental learning -- excluded middle and inductive inference
+Normal rank
@@ Property / cites work @@
+Slicing the Truth
@@ Property / cites work: Slicing the Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive Inference and Reverse Mathematics
@@ Property / cites work: Inductive Inference and Reverse Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+A cohesive set which is not high
@@ Property / cites work: A cohesive set which is not high / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of Recursively Enumerable Sets and Degrees of Unsolvability
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Σ_{𝑛}-bounding and Δ_{𝑛}-induction
@@ Property / cites work: Σ_{𝑛}-bounding and Δ_{𝑛}-induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4013550
@@ Property / cites work: Q4013550 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of monotonic and dual monotonic language learning
+Normal rank