The Definable (P, Q)-Theorem for distal Theories

Gareth Boxall, Charlotte Kestner. The Definable (P, Q)-Theorem for distal Theories. Journal of Symbolic Logic, 83(1):123-127, 2018. [doi]

Abstract

Abstract is missing.