Indestructibility, HOD, and the Ground Axiom.

Arthur W. Apter

Published in: Math. Log. Q. (2011)

Keyphrases

modal logic
object recognition
software engineering
database
data sets
databases
neural network
computer vision
probability distribution
medical images
definite clause