Model theoretic forcing in analysis.

Itay Ben-Yaacov José Iovino

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

Keyphrases

model theoretic
database
databases
high level
computational complexity
general purpose
query answering