---
title: Minimal and Topologically Faithful Internal Models
url: https://www.emergentmind.com/topics/minimal-and-topologically-faithful-internal-models
type: topic
---

# Minimal and Topologically Faithful Internal Models

Minimal and topologically faithful internal models are canonical definable group structures constructed within highly saturated, t-minimal structures equipped with the independent neighborhood property (INP) and satisfying topological 1-basedness. These models serve as geometric representations of linear, locally modular behavior generalizing o-minimal and C-minimal group-existence theorems to a broad class of "tame" topological theories, encompassing all visceral, weakly o-minimal, and C-minimal theories irrespective of exchange properties. Their construction is underpinned by a precise correspondence between infinitary topology and model-theoretic stability, culminating in type-definable abelian topological groups that are minimal, topologically faithful, and internal to the ambient structure [2508.18558].

## 1. t-Minimality and the Independent Neighborhood Property

A structure $\mathcal M$ is called t-minimal if it possesses a uniformly $\emptyset$-definable Hausdorff topology on its domain $M$ such that for every definable $X \subseteq M$,
\[
|X| = \infty \iff \operatorname{int}(X) \neq \emptyset.
\]
Equivalently, every infinite definable set contains a definable non-empty open subset. The independent neighborhood property (INP) further stipulates that for each tuple $a \in M^n$, small parameter set $A \subseteq M^{eq}$, and definable neighborhood $U \ni a$, there exists a definable neighborhood $V \subseteq U$ and parameter $t$ ensuring
\[
\dim(a/A\,t) = \dim(a/A),
\]
capturing dimension invariance under the introduction of suitable parameters. This property is fundamental for isolating precisely controlled neighborhoods relevant for the ensuing group construction [2508.18558].

## 2. Topological 1-Basedness and Germ Codes

Topological 1-basedness is a generalization of model-theoretic 1-basedness employing topological and dimensional data. For tuples $a \in M^m$, $b \in M^n$ and a small parameter set $A$, write $g := \germ(a/Ab)$ for the germ at $a$ of the definable set of realizations of $\operatorname{tp}(a/Ab)$. The type $\operatorname{tp}(a/Ab)$ is topologically 1-based over $A$ if
\[
\dim(b/A\,a) = \dim(b/A\,g),
\]
i.e., $b$'s dimension given $a$ coincides with its dimension given the germ $g$. Equivalently, by Lemma 5.2,
\[
y \mapsto \germ(a/Ay)
\]
is locally constant in a neighborhood of $b$. The structure $\mathcal M$ itself is topologically 1-based if this property holds for all real tuples $a, b$ over $\emptyset$. This notion allows a precise linear/non-linear dichotomy among t-minimal structures with INP, mirroring linear phenomena in dimension and topology [2508.18558].

## 3. Existence and Construction of Internal Topological Groups

Under the hypotheses that $\mathcal M$ is highly saturated, t-minimal, has INP, is non-trivial (i.e., has parameters $a,b,t \in M$ with $\dim(abt)=2$, each algebraic over the other two), and is topologically 1-based, one obtains a type-definable abelian group $G \subseteq M$ satisfying:
- $G$ is open in $M$,
- $G$ is a topological group (the topology on $G$ is inherited as a subspace topology),
- $G$ is locally linear, with each infinitesimal neighborhood $\mu(a/A) \subseteq G^n$ forming a (left or right) coset of a subgroup of $\mu(G)^n$.

Initial construction starts with a type-definable group $G_0$ on an infinitesimal neighborhood $\mu(e)$ ($\dim(e)=1$); a countable type-definable $G \geq G_0$ open in $M$ is found using shrinking definable neighborhoods. By generic continuity and Marikova's local-to-global argument, $G$ further acquires a genuine topological group structure (Proposition 10.5), wherein group axioms and continuity extend from a dense open set to the entire open group [2508.18558].

## 4. Structural Properties: Local Linearity and Abelianity

The central structural theorems mirror stable group theory and extend the Hrushovski–Pillay classification into the topological domain. If $G$ is topologically 1-based, the following hold:
- **Local linearity:** For any $a \in G^n$ and parameter set $A$, the infinitesimal leaf $\mu(a/A) \subseteq G^n$ is a coset of a subgroup of $\mu(G)^n$ (Lemma 11.3).
- **Local abelianity:** There exists an open type-definable abelian subgroup $H \leq G$ (Theorem 11.8).
- **Few subgroups:** Any type-definable family of subgroups of fixed dimension has constant infinitesimal germ (Theorem 11.7).

These properties express that the group structure around infinitesimal neighborhoods is strictly controlled, preventing non-linear or pathological behavior. In notation:
\[
\forall x,y \in H\;\;xy = yx, \qquad
\forall g \in G\;\exists U \ni e:\, (x,y) \mapsto xy^{-1}z \text{ preserves germs at } e,
\]
signifying coset-wise constancy of product maps in small neighborhoods [2508.18558].

## 5. Minimality and Topological Faithfulness

The group $G$ constructed in this setting is minimal in the sense that it has t-minimal dimension and admits no proper infinite definable subgroups near the identity. It is topologically faithful because the topology on $G$ is precisely the one inherited from $M$, ensuring that definable open sets in $G$ are open in $M$. The group is internal, being defined by type-definable sets indexed over countable or small parameter sets. Collectively, these properties ensure $G$ functions as a canonical model internal to $\mathcal M$ capturing the linear/modular aspects of the ambient topology [2508.18558].

## 6. Connections and Unification with O-Minimal and C-Minimal Theories

The theory of minimal and topologically faithful internal models synthesizes prior group-existence results in o-minimal and C-minimal settings as particular cases. Specifically, any o-minimal or C-minimal structure automatically satisfies t-minimality and INP, and their canonical topological groups also satisfy the minimality and faithfulness criteria enumerated above. The current framework further encompasses "visceral" and weakly o-minimal theories, even if the exchange property fails, thus providing a unified blueprint for the emergence of internal group structures in a model-theoretically tame topological environment [2508.18558].

Source: https://www.emergentmind.com/topics/minimal-and-topologically-faithful-internal-models