Classification over a predicate -- the general case. Part I -- structure theory


Abstract in English

We begin the development of structure theory for a first order theory stable over a monadic predicate.

Download