Forcing axioms and projective sets of reals.

Published in: FotFS (2001)

Keyphrases

knowledge base
artificial intelligence
social networks
neural network
information systems
single image
first order logic
horn clauses