Must forking between complete types in a stable theory be witnessed by a stable formula?
Freitag and Mutchnik give a stable theory of an infinite-dimensional vector space over the division ring of fractions of the quantum graph algebra of the random graph, refuting stable forking.
Must forking between complete types in a stable theory be witnessed by a stable formula?
The question asks whether a stability property of the theory transfers to a witness for forking.
Must forking between complete types in a stable theory be witnessed by a stable formula?
Publication dates and editorial changes.
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.
