This paper explores nonforking relations in AECs axiomatically and characterizes when a nonforking is canonical. These results are applied to coheir from Forking in Short and Tame Abstract Elementary Classes and Shelah’s good \lambda-frames.
This paper explores nonforking relations in AECs axiomatically and characterizes when a nonforking is canonical. These results are applied to coheir from Forking in Short and Tame Abstract Elementary Classes and Shelah’s good \lambda-frames.