A note on Predicative Ordinal Analysis I: Iterated Comprehension and Transfinite Induction.

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

Keyphrases

data analysis
statistical analysis
quantitative analysis
automatic analysis
real time
neural network
decision making
website
multiscale
digital libraries
image analysis
special case
logic programs
inductive learning