Degree Spectra of Structures with Low Scott Rank A Complete Bounded Theory with Unbounded Types The Borel Complexity of the Class of Models of First-order Theories Seeing the Forest Does not Account for the Trees Survey on Vaught’s Conjecture Measuring Time with Fuses: What You Can and Cannot Prove Continuum Hypothesis: On Platonism and Pluralism Computable Linear Orders Are We Talking about the Same Natural Number(s)? Investigating Natural Theories through the Consistency Operator