MathDB1 problem
- 0 votes0 replies0 views
Conjecture that nondefinable addition precludes definable Skolem functions
The structures under consideration have restricted multiplication and no definable addition, while definable Skolem functions mean definable choices of points in the fibers of defi…