Kim-independence in positive logic
Kim-independence in positive logic
An important dividing line in the class of unstable theories is being NSOP 1 , which is more general than being simple.In NSOP 1 theories forking independence may not be as well-behaved as in stable or simple theories, so it is replaced by another independence notion, called Kim-independence.We generalise Kim-independence …