Undecidability vs transfinite induction for the consistency of hyperarithmetical sets.

Salvatore Caporaso Giovanni Pani

Published in: Arch. Math. Log. (1980)

Keyphrases

description logics
program synthesis
real time
databases
set theoretic
database
inductive logic programming
inductive learning
inductive inference