Inductive inference and reverse mathematics

DOI10.1016/J.APAL.2016.06.002MaRDI QIDQ324252zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

Cited in

(5)

• Inductive Inference and Reverse Mathematics
• On learning families of ideals in lattices and Boolean algebras
• scientific article; zbMATH DE number 7407778 (Why is no real title available?)
• Inverse subsumption for complete explanatory induction
• Weakly represented families in reverse mathematics

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)