Boxall, Gareth and Kestner, Charlotte ORCID: 0000-0001-8976-2981
(2017)
The definable (p, q)-theorem for distal theories.
The Journal of Symbolic Logic, 83
(12).
pp. 123-127.
Penazzi, Davide ORCID: 0000-0002-9732-1577, Boxall, Gareth, Kestner, Charlotte
ORCID: 0000-0001-8976-2981, Omar Aziz, Alexandra and Bradley-Williams, David
(2013)
Weak One-Basedness.
Notre Dame Journal of Formal Logic, 54
(3-4).
pp. 435-448.