Abstract:Journal of Mathematical Logic, Ahead of Print. We initiate the study of a generalization of Kim-independence, Conant-independence, based on the notion of strong Kim-dividing of Kaplan, Ramsey and Shelah. A version of Conant-independence was originally introduced to prove that all [math] theories are [math]. We introduce an axiom on stationary independence relations, essentially generalizing the "freedom" axiom in some of the free amalgamation theories of Conant, and show that this axiom provides the correct setting for carrying out arguments of Chernikov, Kaplan and Ramsey on [math] theories relative to a stationary independence relation. Generalizing Conant's results on free amalgamation to the limits of our knowledge of the [math] hierarchy, we show using methods from Conant as well as our previous work that any theory where the equivalent conditions of this local variant of [math] holds is either [math] or [math] and is either simple or [math]. We observe that these theories give an interesting class of examples of theories where Conant-independence is symmetric. This includes all of Conant's examples, the small cycle-free random graphs of Shelah, and the (finite-language) [math]-categorical Hrushovski constructions of Evans and Wong. We then answer Conant's question on the existence of non-modular free amalgamation theories. We show that the generic functional structures of Kruckman and Ramsey are examples of non-modular free amalgamation theories. We also show that any free amalgamation theory is [math] or [math], while an [math] free amalgamation theory is simple if and only if it is modular. Finally, we show that every theory where Conant-independence is symmetric is [math]. Therefore, symmetry for Conant-independence gives the next known neostability-theoretic dividing line on the [math] hierarchy beyond [math]. We explain the connection to some established open questions.

The strong amalgamation property into union

Pairs of partial orders and the amalgamation property

The Amalgamation Property for automorphisms of ordered abelian groups

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras

Positive Amalgamation

Amalgamation in Semilinear Residuated Lattices

The Amalgamation Property And Urysohn Structures In Continuous Logic

Weak saturation and weak amalgamation property

Amalgamation and Symmetry: From Local to Global Consistency in The Finite

Varieties defined by basic equations have the amalgamation property

Symmetry in abstract elementary classes with amalgamation

Saturation and solvability in abstract elementary classes with amalgamation

Products of Classes of Finite Structures

On when the union of two algebraic sets is algebraic

Conant-independence and generalized free amalgamation

Characterizations of amorphic schemes and fusions of pairs

Polymorphism-homogeneity and universal algebraic geometry

Amalgamable diagram shapes

The Sup Connective in IMALL: A Categorical Semantics