Separating club-guessing principles in the presence of fat forcing axioms.

David Asperó Miguel Angel Mota

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

Keyphrases

real time
knowledge base
image processing
search algorithm
theoretical framework
first order logic
real world
web services
case study
high level
digital libraries
trade off
magnetic field
horn clauses