Definable E0 classes at arbitrary projective levels.

Vladimir Kanovei Vassily A. Lyubetsky

Published in: Ann. Pure Appl. Log. (2018)

Keyphrases

levels of abstraction
lower levels
neural network
database
video sequences
single image
first order logic
user defined
answer sets
lower level
high levels