# On the forking topology of a reduct of a simple theory

## TL;DR

This paper investigates the forking topology in simple theories and their reducts, establishing the existence of a greatest universal transducer that refines the forking topology and characterizing it in various contexts.

## Contribution

It introduces the concept of universal transducers, proves the existence of a greatest one, and describes their properties and uniqueness in simple theories and their reducts.

## Key findings

- Existence of a greatest universal transducer $ ilde ext{Gamma}_x$
- Refinement of forking topology on $S_y(T)$ by that on $S_y(T^-)$
- Characterization of $ ilde ext{Gamma}_x$ in theories with wnfcp and nfcp

## Abstract

Let $T$ be simple and $T^-$ a reduct of $T$. For variables $x$, we call an $\emptyset$-invariant set $\Gamma(x)$ of ${{\cal C}}$ with the property that for every formula $\phi^-(x,y)\in L^-$: for every $a$, $\phi^-(x,a)$ $L^-$-forks over $\emptyset$ iff $\Gamma(x)\wedge \phi^-(x,a)$ $L$-forks over $\emptyset$, a \em universal transducer\em. We show that there is a greatest universal transducer $\tilde\Gamma_x$ (for any $x$) and it is type-definable. In particular, the forking topology on $S_y(T)$ refines the forking topology on $S_y(T^-)$. Moreover, we describe the set of universal transducers in terms of certain topology on the Stone space and show that $\tilde\Gamma_x$ is the unique universal transducer that is $L^-$-type-definable with parameters. In the case where $T^-$ is a theory with the wnfcp (the weak nfcp) and $T$ is the theory of its lovely pairs we show $\tilde\Gamma_x=(x=x)$ and give a more precise description of all its universal transducers in case $T^-$ has the nfcp.