MathDB1 problem
- 0 votes0 replies0 views
Toledo–Zohar–Barrett conjecture on stable infiniteness and smoothness
A first-order theory is stably infinite if every satisfiable quantifier-free formula has an infinite model, and it is strongly finitely witnessable if its satisfiability can be wit…