AN INDEPENDENCE THEOREM FOR NTP2 THEORIES
YAACOV, ITAÏ BEN, CHERNIKOV, ARTEMVolume:
79
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.1017/jsl.2013.22
Date:
March, 2014
File:
PDF, 444 KB
english, 2014