Kurepa Conjecture: Trees and Factorials

• The Kurepa Conjecture is a dual-natured problem, linking the existence of ω1-trees with at least ω2 branches in set theory to a divisibility property of left factorials in number theory.
• In set theory, it examines Kurepa trees—ω1-trees with countable levels and more than ω1 many cofinal branches—and explores associated branch-guessing principles.
• In number theory, the conjecture posits that for all n > 1, the greatest common divisor of the left factorial !n and n! equals 2, with evidence supported by computational and determinant analyses.

In the literature surveyed here, the term Kurepa Conjecture is used in two distinct senses. In set theory, the Kurepa hypothesis is the assertion that there exists a Kurepa tree, usually an $\omega_1$-tree with countable levels and at least $\omega_2$ many cofinal branches. In number theory, Kurepa’s conjecture concerns the left factorial

$!n=0!+1!+\cdots+(n-1)!,$

and states that

$\gcd(!n,n!)=2 \qquad \text{for all } n>1,$

equivalently that there is no odd prime $p$ such that $p\mid !p$ (Kostana et al., 2024, Andrejić et al., 2014).

1. Terminological scope and canonical formulations

Set-theoretic papers in this corpus treat the classical Kurepa hypothesis as a branch-existence statement for $\omega_1$-trees, and also in the modern combinatorial form $\mathrm{KH}(\omega_1,\omega)$: a family $\mathcal F\subseteq \mathcal P(\omega_1)$ of size at least $\omega_2$ such that for every $\omega_2$0,

$\omega_2$1

More generally, for infinite cardinals $\omega_2$2, a $\omega_2$3-family is a family $\omega_2$4 with $\omega_2$5 and $\omega_2$6 for every $\omega_2$7 (Friedman et al., 2015).

Number-theoretic papers use the same name for the left-factorial divisibility problem. There the central function is

$\omega_2$8

and the conjecture is

$\omega_2$9

equivalently $!n=0!+1!+\cdots+(n-1)!,$0 is not divisible by $!n=0!+1!+\cdots+(n-1)!,$1 for any $!n=0!+1!+\cdots+(n-1)!,$2, and it is enough to check primes (Andrejić et al., 2014).

Area	Classical statement	Basic object
Set theory	There exists a Kurepa tree	An $!n=0!+1!+\cdots+(n-1)!,$3-tree with countable levels and at least $!n=0!+1!+\cdots+(n-1)!,$4 many cofinal branches
Number theory	$!n=0!+1!+\cdots+(n-1)!,$5 for $!n=0!+1!+\cdots+(n-1)!,$6	The left factorial $!n=0!+1!+\cdots+(n-1)!,$7

This split usage suggests that “Kurepa conjecture” functions less as a single theorem-name than as a label for a family of Kurepa-type problems, united more by historical attribution than by subject matter.

2. The classical set-theoretic object and branch-guessing principles

A binary Kurepa tree is defined as a downward-closed $!n=0!+1!+\cdots+(n-1)!,$8 with countable levels

$!n=0!+1!+\cdots+(n-1)!,$9

such that the set of cofinal branches

$\gcd(!n,n!)=2 \qquad \text{for all } n>1,$0

has size at least $\gcd(!n,n!)=2 \qquad \text{for all } n>1,$1. More generally, an $\gcd(!n,n!)=2 \qquad \text{for all } n>1,$2-tree is a tree of height $\gcd(!n,n!)=2 \qquad \text{for all } n>1,$3 with countable levels; a Kurepa tree is such a tree with at least $\gcd(!n,n!)=2 \qquad \text{for all } n>1,$4 many branches; and an Aronszajn tree is an $\gcd(!n,n!)=2 \qquad \text{for all } n>1,$5-tree with no uncountable branches (Kostana et al., 2024).

A recent refinement is the branch-relative guessing principle $\gcd(!n,n!)=2 \qquad \text{for all } n>1,$6. For a binary Kurepa tree $\gcd(!n,n!)=2 \qquad \text{for all } n>1,$7, $\gcd(!n,n!)=2 \qquad \text{for all } n>1,$8 asserts the existence of a transversal

$\gcd(!n,n!)=2 \qquad \text{for all } n>1,$9

such that for every $p$0, the set

$p$1

is stationary. The principle is implied by full $p$2, and even by $p$3; it is compatible with Martin’s axiom; and it may consistently fail, even for rigid or homogeneous binary Kurepa trees. The same paper proves that there is a model with

$p$4

(Kostana et al., 2024).

These results separate the bare existence of a Kurepa tree from stronger branch-guessing behavior. The existence of $p$5 does not by itself force Jensen-style prediction principles on its branch space.

3. Forcing, topology, and strengthened Kurepa trees

A topological strengthening introduced by Bergfalk, Chodounský, Guzmán, and Hrušák is the notion of a strong Kurepa tree: a Kurepa tree $p$6 such that $p$7 is a continuous image of the branch space $p$8 equipped with the cone topology. In that topology, a basic open set has the form

$p$9

for some node $p\mid !p$0. Under $p\mid !p$1, for every cardinal $p\mid !p$2 there is a forcing poset that is $p\mid !p$3-closed, $p\mid !p$4-c.c., and adds a Kurepa tree $p\mid !p$5 together with a surjective $p\mid !p$6-to-one continuous function

$p\mid !p$7

The forcing yields a canonical map via

$p\mid !p$8

and any Kurepa tree with this strong property contains an Aronszajn subtree (Krueger, 1 Jul 2025).

Another forcing-theoretic refinement is the notion of a sealed Kurepa tree. A Kurepa tree $p\mid !p$9 in a model $\omega_1$0 is sealed if every forcing notion $\omega_1$1 that adds a new branch to $\omega_1$2 collapses $\omega_1$3 or $\omega_1$4. Relative to a strongly inaccessible cardinal, it is consistent that there exists an $\omega_1$5-distributive forcing notion $\omega_1$6 of cardinality $\omega_1$7 such that for every Kurepa tree $\omega_1$8 in the generic extension, $\omega_1$9 adds a branch to $\mathrm{KH}(\omega_1,\omega)$0; in particular, no such $\mathrm{KH}(\omega_1,\omega)$1 is sealed. The same work also gives a proper forcing notion that makes an arbitrary Kurepa tree non-distributive while preserving $\mathrm{KH}(\omega_1,\omega)$2 and $\mathrm{KH}(\omega_1,\omega)$3 (Giron et al., 2023).

Taken together, these results show that the classical Kurepa hypothesis admits substantial strengthening and substantial destabilization. A Kurepa tree can be forced to have strong topological universality, but it can also be placed in models where every Kurepa tree admits small branch-adding forcing.

4. Weak Kurepa hypotheses and guessing-model principles

A weak Kurepa tree is a tree of height and size $\mathrm{KH}(\omega_1,\omega)$4 with at least $\mathrm{KH}(\omega_1,\omega)$5 many cofinal branches. The weak Kurepa Hypothesis $\mathrm{KH}(\omega_1,\omega)$6 is the assertion that such a tree exists. This weak form drops the countable-level requirement from the ordinary Kurepa hypothesis (Lambie-Hanson et al., 11 Mar 2026).

Recent work connects weak Kurepa phenomena to guessing-model principles. One theorem states that if $\mathrm{KH}(\omega_1,\omega)$7 holds for a regular uncountable $\mathrm{KH}(\omega_1,\omega)$8, then there are no weak $\mathrm{KH}(\omega_1,\omega)$9-Kurepa trees. The same paper proves, however, that starting from a supercompact cardinal and assuming $\mathcal F\subseteq \mathcal P(\omega_1)$0 above it, there is a generic extension in which

$\mathcal F\subseteq \mathcal P(\omega_1)$1

there is an $\mathcal F\subseteq \mathcal P(\omega_1)$2-Kurepa tree, and

$\mathcal F\subseteq \mathcal P(\omega_1)$3

holds. This separates different tree and guessing principles sharply: some eliminate weak Kurepa trees, while others are compatible with classical $\mathcal F\subseteq \mathcal P(\omega_1)$4-Kurepa trees (Lambie-Hanson et al., 2022).

Further consistency separations strengthen this picture. Relative to a Mahlo cardinal, it is consistent that Martin’s axiom holds at $\mathcal F\subseteq \mathcal P(\omega_1)$5 while the weak Kurepa Hypothesis fails, and the supplied description states that the model is constructed so that $\mathcal F\subseteq \mathcal P(\omega_1)$6 fails in any c.c.c. forcing extension (Mohammadpour, 2024). Relative to a supercompact cardinal, it is consistent that $\mathcal F\subseteq \mathcal P(\omega_1)$7 holds together with an almost Kurepa Suslin tree; in the same line of work, there is also a model with

$\mathcal F\subseteq \mathcal P(\omega_1)$8

so there are no Kurepa trees but there is a weak Kurepa tree (Lambie-Hanson et al., 11 Mar 2026). From an inaccessible cardinal, it is consistent that there exists a strongly non-saturated Aronszajn tree and there does not exist a weak Kurepa tree; from a Mahlo cardinal, one can moreover obtain c.c.c.-indestructible failure of the generic Kurepa hypothesis (Krueger et al., 7 Jun 2025).

The cumulative effect is a highly stratified landscape. Ordinary Kurepa trees, weak Kurepa trees, almost Kurepa Suslin trees, and branch-guessing principles are not interchangeable; forcing can separate them in multiple directions.

5. Generalized and higher-cardinal Kurepa hypotheses

For an infinite cardinal $\mathcal F\subseteq \mathcal P(\omega_1)$9, the generalized Kurepa hypothesis $\omega_2$0 asserts the existence of a family $\omega_2$1 such that $\omega_2$2 and for every infinite $\omega_2$3 with $\omega_2$4,

$\omega_2$5

At singular cardinals this principle becomes delicate. It is shown that $\omega_2$6 does not imply $\omega_2$7, nor the existence of a family $\omega_2$8 of size $\omega_2$9 such that $\omega_2$00 has size $\omega_2$01 for every countable $\omega_2$02. More specifically, under

$\omega_2$03

$\omega_2$04 fails (Golshani, 2017).

Chang’s generalized Kurepa hierarchy admits further separation. For fixed finite $\omega_2$05, the Gap-$\omega_2$06-Kurepa hypothesis is

$\omega_2$07

Relative to an inaccessible cardinal, one can force a model in which $\omega_2$08 holds, the Gap-$\omega_2$09-Kurepa hypothesis holds for all $\omega_2$10, but the Gap-$\omega_2$11-Kurepa hypothesis fails. Conversely, if $\omega_2$12 fails for regular $\omega_2$13 and $\omega_2$14, then $\omega_2$15 is inaccessible in $\omega_2$16 (Friedman et al., 2015).

The two-cardinal form $\omega_2$17 is formulated via slim families or, equivalently, slim $\omega_2$18-trees. A slim $\omega_2$19-family is a collection $\omega_2$20 such that for every $\omega_2$21,

$\omega_2$22

The 2025 analysis isolates a key ZFC implication:

$\omega_2$23

For singular $\omega_2$24, failure of $\omega_2$25 is tied to Chang’s Conjecture and to scales; for example, if $\omega_2$26 and there is a scale on $\omega_2$27 that is good at all points of cofinality $\omega_2$28, then

$\omega_2$29

holds (Wu, 9 Oct 2025).

6. Model-theoretic and order-theoretic counterparts

Kurepa trees have precise analogues in linear orders. A linear order $\omega_2$30 of cardinality $\omega_2$31 is Kurepa if its density is $\omega_2$32 and the closure of every countable subset of $\omega_2$33 is countable. The supplied summary states that Kurepa lines exist iff there are Kurepa trees. It is consistent with $\omega_2$34 that there is an everywhere Kurepa line which is order-isomorphic to all of its dense $\omega_2$35-dense suborders and contains no Aronszajn suborder; it is also consistent that there is a minimal Kurepa line with no Aronszajn suborder (Ramandi, 2023).

In infinitary logic, a single $\omega_2$36-sentence $\omega_2$37 can be constructed so as to code Kurepa trees. Its spectrum is controlled by the existence and exact branch numbers of Kurepa trees. The cited spectrum theorem gives

$\omega_2$38

and if there exists a Kurepa tree with $\omega_2$39 branches, then

$\omega_2$40

Conversely, if $\omega_2$41 has a model of size $\omega_2$42, then either $\omega_2$43 or there exists a Kurepa tree with $\omega_2$44 branches. The same sentence can consistently have right-open or right-closed spectrum and amalgamation spectrum, depending on the surrounding set theory (Sinapova et al., 2017).

This coding program extends to higher cardinals. For countable $\omega_2$45, an $\omega_2$46-sentence $\omega_2$47 is built to code $\omega_2$48-Kurepa trees. One of the stated consistency results is that

$\omega_2$49

$\omega_2$50 is weakly inaccessible, and

$\omega_2$51

The same work uses Kurepa-tree coding to show that $\omega_2$52-amalgamation for $\omega_2$53-sentences is not absolute (Marangelis, 2024).

These model-theoretic and order-theoretic developments indicate that Kurepa phenomena are not confined to tree combinatorics. They govern spectra, amalgamation, rigidity, and minimality in adjacent structures.

7. The left-factorial conjecture in number theory

In number theory, Kurepa’s conjecture concerns the left factorial

$\omega_2$54

The classical statement is

$\omega_2$55

which is equivalent to the claim that there is no odd prime $\omega_2$56 such that $\omega_2$57. A large-scale computational search checked all primes

$\omega_2$58

and found no counterexample. That work computed the residues

$\omega_2$59

for all such primes, verified all residues previously reported in the literature, and found a new prime with residue $\omega_2$60,

$\omega_2$61

It also studied generalized left factorials

$\omega_2$62

and proved that for every integer $\omega_2$63 there exists an odd prime $\omega_2$64 such that

$\omega_2$65

In particular, for $\omega_2$66 one may take

$\omega_2$67

(Andrejić et al., 2014).

A determinant-theoretic reformulation introduces Kurepa determinants $\omega_2$68. For primes $\omega_2$69, Kurepa’s hypothesis is equivalent to

$\omega_2$70

and for every prime $\omega_2$71,

$\omega_2$72

That paper also proposed a stronger statement, namely $\omega_2$73 for all $\omega_2$74. It proved the “even part” of this strong hypothesis, since $\omega_2$75 is odd for every integer $\omega_2$76, but it also showed that the odd composite part fails: for odd composite $\omega_2$77,

$\omega_2$78

and

$\omega_2$79

is a counterexample, with

$\omega_2$80

(Meštrović, 2013).

Later work develops additional reformulations. One paper introduces

$\omega_2$81

identifies $\omega_2$82 with the Kurepa factorial, and states an equivalent formulation

$\omega_2$83

The same paper gives decompositions in terms of Dobinski numbers, Bell numbers, derangement numbers, and complementary Bell numbers, and extends the discussion to partition functions and occupation-number formalisms (Howard, 7 Sep 2025). By contrast, an arXiv abstract from 2022 states simply, “We answer Kurepa’s conjecture on the left factorials in affirmative,” but the supplied material for that item contains no theorem statements, proof, or further mathematical details beyond the abstract itself (Abramov, 2022).

Within the supplied record, the number-theoretic Kurepa conjecture therefore appears in three simultaneously relevant forms: as a classical divisibility conjecture with extensive computational evidence, as a source of determinant and Bell-number reformulations, and as the subject of an abstract claiming a full affirmative solution.