Both Σ^B₁-definability and polynomial-time computability are model-independent in practice; they're ...
This proposition has not been edited since the history system was added.