Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
0 answers
186 views

Are there some algorithms which have high consistency strength?

Are there some algorithms, their time complexity is relatively good, for example polynomial time. And the correctness of them has high consistency strength. And these algorithms shouldn't able to ...
Reflecting_Ordinal's user avatar