Provable Wellorderings of Formal Theories for Transfinitely Iterated Inductive Definitions.

Wilfried Buchholz Wolfram Pohlers

Published in: J. Symb. Log. (1978)

Keyphrases

formal models
machine learning
inductive learning
ontological engineering
formal model
formal specification
inductive inference
expert systems
concept learning
mathematical models
rule learning
causal reasoning
formal representation
inductive reasoning
functional programs