Every countable structure has a sentence of the infinitary logic $\mathcal {L}_{\omega _1 \omega }$ which characterizes that structure up to isomorphism among countable structures. Such a sentence is called a Scott sentence, and can be thought of as a description of the structure. The least complexity of a Scott sentence for a structure can be thought of as a measurement of the complexity of describing the structure. We begin with an introduction to the area, with short and simple proofs (...) where possible, followed by a survey of recent advances. (shrink)

Let $T$ be a theory in a countable fragment of $\mathcal{L}_{\omega_{1},\omega}$ whose extensions in countable fragments have only countably many types. Sacks proves a bounding theorem that generates models of high Scott rank. For this theorem, a tree hierarchy is developed for $T$ that enumerates these extensions. In this paper, we effectively construct a predecessor function for formulas defining types in this tree hierarchy as follows. Let $T_{\gamma}\subseteq T_{\delta}$ with $T_{\gamma}$- and $T_{\delta}$-theories on level $\gamma$ and $\delta$, respectively. Then if (...) $\ulcorner p\urcorner $ is a formula that defines a type for $T_{\delta}$, our predecessor function provides a formula for defining its subtype in $T_{\gamma}$. By constructing this predecessor function, we weaken an assumption for Sacks’s result. (shrink)

We offer a topological treatment of scattered theories intended to help to explain the parallelism between, on the one hand, the theorems provable using Descriptive Set Theory by analysis of the space of countable models and, on the other, those provable by studying a tree of theories in a hierarchy of fragments of infinintary logic. We state some theorems which are, we hope, a step on the road to fully understanding counterexamples to Vaught's Conjecture. This framework is in the early (...) stages of development, and one area for future exploration is the possibility of extending it to a setting in which the spaces of types of a theory are uncountable. (shrink)

We give a model theoretic proof, replacing admissible set theory by the Lopez-Escobar theorem, of Makkai's theorem: Every counterexample to Vaught's Conjecture has an uncountable model which realizes only countably many ℒ$_{ω₁,ω}$-types. The following result is new. Theorem: If a first-order theory is a counterexample to the Vaught Conjecture then it has 2\sp ℵ₁ models of cardinality ℵ₁.