N-Simple theories

Abstract

The main topic of this paper is the investigation of generalized amalgamation properties for simple theories. That is, we are trying to answer the question of when a simple theory has the property of n-dimensional amalgamation, where two-dimensional amalgamation is the Independence Theorem for simple theories. We develop the notions of strong n-simplicity and n-simplicity for 1≤ n≤ ω, where both “1-simple” and “strongly 1-simple” are the same as “simple”. For strong n-simplicity, we present examples of simple unstable theories in each subclass and prove a characteristic property of strong n-simplicity in terms of strong n-dividing, a strengthening of the dependence relation called dividing in simple theories. We prove a strong three-dimensional amalgamation property for strongly 2-simple theories, and, under an additional assumption, a strong ( n+1)-dimensional amalgamation property for strongly n-simple theories. In the last section of the paper we comment on why strong n-simplicity is called strong.