We outline the Hrushovsk-Sokolović proof of Vaught's Conjecture for differentially closed fields, focusing on the use of dimensions to code graphs.
Notre Dame J. Formal Logic
48(1):
99-113
(2007).
DOI: 10.1305/ndjfl/1172787548