Inductive inference and reverse mathematics

DOI10.1016/J.APAL.2016.06.002zbMATH Open1403.03017OpenAlexW2461280032MaRDI QIDQ324252FDOQ324252

Authors: Rupert Hölzl, Frank Stephan, Sanjay Jain 

Publication date: 10 October 2016

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2016.06.002

Recommendations

• Inductive Inference and Reverse Mathematics
• Mathematics based on incremental learning -- excluded middle and inductive inference
• Reverse mathematics: the playground of logic
• Reverse mathematics and its meaning
• scientific article; zbMATH DE number 4008385

zbMATH Keywords

inductive inferencerecursion theoryreverse mathematicslearning from positive data

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computational learning theory (68Q32) Foundations of classical theories (including reverse mathematics) (03B30)

Cites Work

• Subsystems of second order arithmetic
• Title not available (Why is that?)
• Inductive inference of formal languages from positive data
• Toward a mathematical theory of inductive inference
• Language identification in the limit
• Title not available (Why is that?)
• Classes of Recursively Enumerable Sets and Degrees of Unsolvability
• Inference of Reversible Languages
• Characterizations of monotonic and dual monotonic language learning
• Mind change complexity of inferring unbounded unions of restricted pattern languages from positive data
• Inductive Inference and Reverse Mathematics
• The metamathematics of Stable Ramsey’s Theorem for Pairs
• Slicing the truth. On the computable and reverse mathematics of combinatorial principles
• On the strength of the finite intersection principle
• Inductive inference and unsolvability
• Title not available (Why is that?)
• A cohesive set which is not high
• \(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs
• Σ_{𝑛}-bounding and Δ_{𝑛}-induction
• Mathematics based on incremental learning -- excluded middle and inductive inference
• Topological properties of concept spaces (full version)

Cited In (5)

• Inductive Inference and Reverse Mathematics
• Weakly represented families in reverse mathematics
• Inverse subsumption for complete explanatory induction
• On learning families of ideals in lattices and Boolean algebras
• Title not available (Why is that?)

This page was built for publication: Inductive inference and reverse mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q324252)