Kim's pseudolinearity conjecture

Let TT be a simple theory, and let pS(A)p\in S(A) be a Lascar type. The type pp has Lascar rank SU(p)=1\mathrm{SU}(p)=1, is kk-linear when it satisfies the corresponding kk-linearity condition, and is linear when it satisfies the corresponding linearity condition.

Kim's pseudolinearity conjecture. If SU(p)=1\mathrm{SU}(p)=1 and pp is kk-linear for some k<ωk<\omega, then pp is linear.

This conjecture concerns the relationship between finite linearity conditions and linearity for rank-one types in simple theories. The supplied text gives no resolution status.

Sources & referencesView supporting material

Primary source

John Baldwin, James Freitag and Scott Mutchnik, “Simple Homogeneous Structures and Indiscernible Sequence Invariants”, arXiv:2405.08211 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.