The Definable (P, Q)-Theorem for Distal Theories
Journal of Symbolic Logic - United Kingdom
doi 10.1017/jsl.2016.72
Full Text
Open PDFAbstract
Available in full text
Date
November 9, 2017
Authors
Publisher
Cambridge University Press (CUP)
Available in full text
November 9, 2017
Cambridge University Press (CUP)