It is not the case that NP is captured by second-order existential logic (SO∃), a characterization that makes no reference to a specific model of computation such as a Turing machine.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.