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.

Analytic continuation of concrete realizations and the McCarthy Champagne conjecture

On the Analytic Continuation of Appell's Hypergeometric Function F2 to Some Symmetric Domains in the Space C2

Continuity of matings of Kleinian groups and polynomials

A Jacquet-Langlands functor for $p$-adic locally analytic representations

Critical Lambda-adic modular forms and bi-ordinary complexes

Analytic Continuation of Operators -- operators acting complex s-times -- Applications: from Number Theory and Group Theory to Quantum Field and String Theories

Operator realizations of non-commutative analytic functions

An extension result of CR Functions by a general Schwarz reflection principle

Expansions in completions of global function fields

The Monsky-Washnitzer and the overconvergent realizations

Adelic perturbation of rational functions and applications

Good functions, measures, and the Kleinbock-Tomanov conjecture

Hadronic Structure, Conformal Maps, and Analytic Continuation

Invertible analytic functions on Drinfeld symmetric spaces and universal extensions of Steinberg representations

Sparse systems of functions and quasi-analytic classes

Hardy Spaces of Meta-Analytic Functions and the Schwarz Boundary Value Problem

Moore-Tachikawa Varieties: Beyond Duality

Duality, Künneth formulae, and integral transforms in microlocal geometry

Companion points and locally analytic socle conjecture for Steinberg case

Conant-independence and generalized free amalgamation

Wetzel families and the continuum