Gaifman Conjecture in Model Theory

• Gaifman Conjecture is a model-theoretic conjecture asserting that a complete first-order theory with a distinguished unary predicate possesses the Gaifman property under relative categoricity conditions.
• It explains the reconstruction of ambient structures from the distinguished predicate, drawing parallels with reconstructing integral domains to fields and fields to vector spaces.
• The framework utilizes classification theory and higher amalgamation, investigating stability over P and the interplay between existence properties and non-structure results over various cardinalities.

Searching arXiv for papers directly relevant to the Gaifman Conjecture and closely related uses of the term “Gaifman.” The Gaifman Conjecture is a model-theoretic conjecture about a complete first-order theory $T$ equipped with a distinguished unary predicate $P$. In its standard form, it asserts that if $T$ is relatively categorical over $P$, then $T$ has the Gaifman property: every model of the induced theory on the $P$-part occurs as the $P$-part of some model of $T$ (Pillay, 5 Feb 2026). Recent work places this existence problem in the framework of Classification Theory, recasting it as part of a broader structure/non-structure program over $P$ and proving a strong stability-theoretic sufficient condition for the Gaifman property in countable theories (Shelah et al., 16 Jul 2025).

1. Origins and historical formulation

The conjecture originates in Gaifman’s work on “single-valued operations,” where the basic theme is reconstruction of an ambient structure from a distinguished part. Pillay describes the historical setting through examples such as passing from an integral domain $R$ to its field of fractions $P$0, where the new structure is explicitly definable from the old, and passing from a field $P$1 to an $P$2-dimensional vector space $P$3 over $P$4, where $P$5 is not definable from $P$6 alone but is internal to $P$7 after choosing extra data such as a basis (Pillay, 5 Feb 2026).

In the classical formulation, one fixes a complete theory $P$8 with a distinguished unary predicate $P$9, and asks whether uniqueness of reconstruction from the $T$0-part forces existence of reconstructions for all possible $T$1-parts. Gaifman conjectured that if a countable theory $T$2 is categorical over a unary predicate $T$3, then $T$4 has the Gaifman property over $T$5. In modern terminology, “categorical over $T$6” means relative categoricity: whenever two models of $T$7 have isomorphic $T$8-parts, the isomorphism lifts to an isomorphism of the full models over that $T$9-part (Shelah et al., 16 Jul 2025).

The conjecture has important precedents but remains open in general. Gaifman proved it when $P$0 is rigid over $P$1, and Shelah proved an absolute version under absolute categoricity over $P$2. Pillay emphasizes that the conjecture still remains open “in full entirety,” despite later proofs of the Gaifman property under additional stability-over-$P$3 assumptions (Pillay, 5 Feb 2026).

2. Formal framework: $P$4-parts, existence, and completeness

For a model $P$5, the induced structure on the distinguished predicate is written $P$6 in one source and $P$7 in the other; its theory is $P$8. The Gaifman property is the statement that for every $P$9, there exists $T$0 such that $T$1. Equivalently, every model of the induced theory on $T$2 is exactly the $T$3-part of some model of $T$4 (Shelah et al., 16 Jul 2025).

A more local notion is the existence property over $T$5. For $T$6 in a monster model $T$7, one says that $T$8 has the existence property over $T$9 if there exists $P$0 such that

$P$1

This requires realization of the prescribed $P$2-part without adding new $P$3-elements. The Gaifman property is the global version: every $P$4 has the existence property (Shelah et al., 16 Jul 2025).

The fundamental closure notion is completeness. A set $P$5 is complete if for every formula $P$6 and $P$7,

$P$8

Thus any $P$9-witness to a formula with parameters from $P$0 must already lie in $P$1. If $P$2 and $P$3, then $P$4 is complete, so completeness is necessary for the existence property. A central theme of the subject is to determine when completeness is also sufficient (Shelah et al., 16 Jul 2025).

The stronger classification-theoretic analysis imposes two standing assumptions on $P$5, called “very stable embeddedness”: $P$6 is stably embedded, and every definable subset of $P$7 is already definable in $P$8. Under these assumptions, the induced structure on $P$9 fully captures all subsets of $T$0 definable in the ambient theory (Shelah et al., 16 Jul 2025).

3. Relative categoricity and the first existence theorems

Relative categoricity is the uniqueness side of the problem. In Pillay’s formulation, $T$1 is relatively categorical if whenever $T$2 and $T$3 is an isomorphism, then $T$4 lifts to an isomorphism $T$5. There are cardinal-restricted variants, notably relative $T$6-categoricity, where the lifting property is required only for countable models whose $T$7-parts are also countable (Pillay, 5 Feb 2026).

A key characterization is that $T$8 is relatively $T$9-categorical iff every model $P$0 is atomic over $P$1: for every finite tuple $P$2 from $P$3, the type $P$4 is isolated. This atomicity yields uniform definability of types over the $P$5-part, described by Pillay as a form of stable embeddability of $P$6 (Pillay, 5 Feb 2026).

These observations already produce nontrivial existence theorems. Any countable model $P$7 is equal to $P$8 for some countable $P$9. More substantially, if $R$0 is relatively $R$1-categorical, then every $R$2 of cardinality at most $R$3 is of the form $R$4 for some $R$5. The proof is a transfinite construction through a continuous chain of countable elementary submodels, with the induction step supplied by a completeness transfer lemma (Pillay, 5 Feb 2026).

Pillay also isolates a strong sufficient condition for the full conjecture. If, in addition to relative $R$6-categoricity, the monster model is $R$7-co-analyzable in $R$8, equivalently almost internal to $R$9, then $P$00 is relatively categorical and has the Gaifman property. Concretely, almost internality means that every model is algebraic over its $P$01-part together with a finite tuple. Under this hypothesis, the finite parameters needed to recover the model are controlled by isolated types over the $P$02-part, so both uniqueness and existence follow (Pillay, 5 Feb 2026).

An important limitation is also explicit: stable embeddedness alone does not imply the Gaifman property. Pillay records a counterexample due to Hrushovski, reported by Kaplan, which shows that definability of types over $P$03 is not by itself sufficient in full generality (Pillay, 5 Feb 2026).

4. The classification-theoretic strengthening

A major reformulation replaces the original conjecture by a broader dichotomy. Instead of asking only whether relative categoricity implies existence, one asks whether failure of existence already forces large-scale non-structure over $P$04. The strengthened conjecture states that if $P$05 fails the Gaifman property, then for every regular cardinal $P$06 big enough, and every $P$07, $P$08 has $P$09 models of cardinality $P$10 that are pairwise non-isomorphic over $P$11 (Shelah et al., 16 Jul 2025).

This reframes the problem in the language of Classification Theory. The proposed dividing line is a hierarchy of stability notions over $P$12. The generalized program is split into two directions: stability over $P$13 implies the Gaifman property, while instability over $P$14 implies non-structure. The first direction is proved for countable theories; the second is left open (Shelah et al., 16 Jul 2025).

The basic stability notion is defined using

$P$15

These are the complete types over $P$16 whose realizations do not enlarge the $P$17-part and preserve completeness. For a complete set $P$18,

$P$19

Thus stability over $P$20 is not simply stability of $P$21 in the ordinary sense; it is a stability condition for complete sets relative to the distinguished predicate (Shelah et al., 16 Jul 2025).

The significance of this reformulation is conceptual as well as technical. The Gaifman problem is no longer treated as an isolated existence statement. It becomes part of a classification-theoretic program in which structure over $P$22 is measured by stability, and failure of existence is expected to coincide with the maximal proliferation of models over $P$23 in many cardinalities (Shelah et al., 16 Jul 2025).

5. Good systems, higher amalgamation, and the main theorem

The central innovation of the classification-theoretic approach is a hierarchy of higher-dimensional stability and existence properties built from “good systems.” A good system is indexed by a hereditary family $P$24, usually $P$25 or $P$26, and consists of a coherent family

$P$27

satisfying structural clauses such as

$P$28

together with the requirement that nodes not containing $P$29 are models of $P$30, nodes containing $P$31 are models of $P$32, and taking the $P$33-part corresponds to deleting $P$34 from the index set. A further relation,

$P$35

requires that formulas over parameters from $P$36 realized in $P$37 already have realizations in $P$38; it functions as a weak existential-closure condition adapted to the $P$39-setting (Shelah et al., 16 Jul 2025).

Using good systems, the paper defines $P$40-stability over $P$41: $P$42 is $P$43-stable over $P$44 if for every good $P$45-system, the union of its lower faces is stable over $P$46. The corresponding $P$47-existence property says that every good $P$48-system can be completed to a good $P$49-system. For $P$50, $P$51-existence is exactly the Gaifman property. For larger $P$52, this yields a hierarchy of higher amalgamation properties over $P$53 (Shelah et al., 16 Jul 2025).

The main theorem states that if $P$54 is countable, $P$55 is very stably embedded, and $P$56 is $P$57-stable over $P$58 for all $P$59, then $P$60 has the Gaifman property. The stronger theorem proved is that under the same assumptions, the union of every good $P$61-system has the existence property; in particular, $P$62 has $P$63-existence for all $P$64. The case $P$65 recovers the Gaifman property, but the theorem is fundamentally a higher stable amalgamation theorem rather than only a $P$66-dimensional existence statement (Shelah et al., 16 Jul 2025).

The proof architecture explicitly transfers stable-theoretic tools to the relative setting over $P$67. Stable embeddedness gives definability of types over $P$68; stability over $P$69 yields definability and stationarity for $P$70-types; a stationarization relation $P$71 plays the role of nonforking; unions of good systems are shown to be complete; and locally isolated $P$72-types support locally constructible model constructions. The final existence theorem is proved by cardinal induction using a decomposition of large good systems into continuous chains of smaller good systems, with a higher-dimensional coherence clause supplying the induction step (Shelah et al., 16 Jul 2025).

A further strengthening is local constructibility. If $P$73 is a good system, then its union has the locally constructible existence property. In particular, every $P$74 can be realized as the $P$75-part of a model of $P$76 built by a local construction over $P$77, where each successive type is locally isolated (Shelah et al., 16 Jul 2025).

6. Open problems, limitations, and terminological clarifications

The original conjecture remains open in its unrestricted form. Neither Pillay’s elementary observations nor the classification-theoretic theorem proves that relative categoricity by itself implies the Gaifman property. What is established is more conditional: relative $P$78-categoricity gives existence up to $P$79, almost internality yields the full Gaifman property, and $P$80-stability over $P$81 for all finite $P$82 yields not only the Gaifman property but a hierarchy of higher existence properties (Pillay, 5 Feb 2026).

The major unresolved direction is the instability side of the classification program. The conjectural statement is that if $P$83 is $P$84-unstable over $P$85 for some $P$86, then for every regular cardinal $P$87 big enough, and every $P$88, $P$89 has $P$90 models of cardinality $P$91 which are non-isomorphic over $P$92. A weaker conjecture isolates the first unstable level: if $P$93 is $P$94-stable over $P$95 for all $P$96 but $P$97-unstable, then for every regular $P$98 big enough and every $P$99, $T$00 has $T$01 models of cardinality $T$02 that are non-isomorphic over $T$03 (Shelah et al., 16 Jul 2025).

A separate limitation concerns transfer across cardinalities. Pillay notes, via Hart–Shelah, that there is no analogue of Morley’s theorem for relative categoricity: relative categoricity behaves irregularly across cardinals, so one should not expect a direct cardinal-transfer principle parallel to the classical absolute case (Pillay, 5 Feb 2026).

A common source of confusion is terminological. Several papers concern “Gaifman” in the sense of Gaifman locality or Gaifman normal form, not the Gaifman Conjecture. “A Rank-Preserving Gaifman Normal Form” does not discuss any statement explicitly called the “Gaifman Conjecture” and instead proves a rank-preserving strengthening of Gaifman’s theorem for first-order logic (Grohe et al., 10 Jun 2026). Likewise, work on semiring semantics and on arb-invariant $T$04 studies Gaifman locality theorems rather than the relative-categoricity/existence conjecture over a predicate $T$05 (Bizière et al., 2023); (Harwath et al., 2016). The shared name reflects common ancestry in Gaifman’s methods, but the conjecture in current model-theoretic usage is the relative existence problem over a distinguished unary predicate.