Related papers: Neostability transfers in derivation-like theories
We study interpolative fusion, a method of combining theories $T_1$ and $T_2$ in distinct languages in a "generic" way over a common reduct $T_\cap$, to obtain a theory $T_\cup^*$. When each $T_i$ is model-complete, $T_\cup^*$ is the model…
Learning to transfer considers learning solutions to tasks in a such way that relevant knowledge can be transferred from known task solutions to new, related tasks. This is important for general learning, as well as for improving the…
We consider the general higher derivative field theories of derived type. At free level, the wave operator of derived-type theory is a polynomial of the order $n\geq 2$ of another operator $W$ which is of the lower order. Every symmetry of…
Regularity properties of the pressure are related to phase transitions. In this article we study thermodynamic formalism for systems defined in non-compact phase spaces, our main focus being countable Markov shifts. We produce metric…
This paper continues math.LO/0009087. We present a rank function for NSOP_1 theories and give an example of a theory which is NSOP_1 but not simple. We also investigate the connection between maximality in the ordering <^* among complete…
We suggest a generalization of \pi_0 for topological groupoids, which encodes incidence relations among the strata of the associated quotient object, and argue for its utility by example, starting from the orbit categories of the theory of…
Outside of the framework of geometric theories, we exhibit complete, respectively model-complete theories of rings whose corresponding theory of pairs is complete, respectively model-complete, using transfer results proven in the seventies…
The biduality and reflexivity theorems are known to hold for projective varieties defined over fields of characteristic zero, and to fail in positive characteristic. In this article, we construct a notion of reflexivity and biduality in…
We show that for each property $\mathsf{P}\in \{\mathsf{OP}, \mathsf{IP}, \mathsf{TP}_1, \mathsf{TP}_2, \mathsf{ATP}, \mathsf{SOP}_3\}$ there is a poset $\Sigma_{\mathsf{P}}$ such that a theory has property $\mathsf{P}$ if and only if some…
We prove that any type in an NIP theory can be decomposed into a stable part (a generically stable partial type) and a distal-like quotient.
We prove several results on the behavior of Kim-independence upon changing the base in NSOP$_{1}$ theories. As a consequence, we prove that Kim-independence satisfies transitivity and that this characterizes NSOP$_{1}$. Moreover, we…
We observe that some natural mathematical definitions are lifting properties relative to simplest counterexamples, namely the definitions of surjectivity and injectivity of maps, as well as of being connected, separation axioms $T_0$ and…
We develop the theory of Kim-independence in the context of NSOP$_{1}$ theories satsifying the existence axiom. We show that, in such theories, Kim-independence is transitive and that $\ind^{K}$-Morley sequences witness Kim-dividing. As…
In this work we use the deformation procedure and explore the route to obtain distinct field theory models that present similar stability potentials. Starting from systems that interact polynomially or hyperbolically, we use a deformation…
Unimodularity is localized to a complete stationary type, and its properties are analysed. Some variants of unimodularity for definable and type-definable sets are introduced, and the relationship between these different notions is studied.…
The goal of this text is to exhibit some of the ideas and methods from geometric model theory, translated to the particular context of differentially closed fields, exhibiting in a more or less self-contained way the tools needed for the…
Transfer learning methods endeavor to leverage relevant knowledge from existing source pre-trained models or datasets to solve downstream target tasks. With the increase in the scale and quantity of available pre-trained models nowadays, it…
We study expansions of Hilbert spaces with a bounded normal operator $T$. We axiomatize this theory in a natural language and identify all of its completions. We prove the definability of the adjoint $T^*$ and prove quantifier elimination…
Motivated by traces of matrices and Euler characteristics of topological spaces, we expect abstract traces in a symmetric monoidal category to be "additive". When the category is "stable" in some sense, additivity along cofiber sequences is…
We investigate whether the symmetry transformations of a bosonic string are connected by T-duality. We start with a standard closed string theory. We continue with a modified open string theory, modified to preserve the symmetry…