On the consistency strength of level by level inequivalence.

Arthur W. Apter

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

Keyphrases

higher level
levels of abstraction
machine learning
lower level
real time
neural network
decision making
knowledge base
image sequences
support vector
object level