Interpretability

Abstract We need very little from model theory: just two concepts, and no real results, not even the compactness theorem. The concepts, definability and interpretability, are dealt with in this chapter and the next. The algebraist who has gi en no thought to formal languages will need to look carefu... View More