Ordinal Inequalities, Transfinite Induction, and Reverse Mathematics.
Jeffry L. HirstPublished in: J. Symb. Log. (1999)
Keyphrases
- computer science
- sufficient conditions
- inductive inference
- machine learning
- rule induction
- inductive learning
- constructive induction
- linear inequalities
- elementary functions
- inductive logic programming
- program synthesis
- explanation based learning
- ordinal scale
- word problems
- planar graphs
- concept formation
- lower bound
- decision trees
- genetic algorithm