2 problems
Valuation-ring finite-burden conjecture. The structure has finite burden.
In a first-order theory , let denote the burden of a tuple , and say that is NTP when it has no inp-pattern of depth in a single vari…
Valuation-ring finite-burden conjecture. The structure has finite burden.
In a first-order theory , let denote the burden of a tuple , and say that is NTP when it has no inp-pattern of depth in a single vari…