Pages that link to "Item:Q3476273"
From MaRDI portal
The following pages link to Nondeterministic polynomial-time computations and models of arithmetic (Q3476273):
Displayed 4 items.
- Construction of models of bounded arithmetic by restricted reduced powers (Q506954) (← links)
- \(\text{NP}\not={co}\)-NP and models of arithmetic (Q672454) (← links)
- P, NP, Co-NP and weak systems of arithmetic (Q672742) (← links)
- On the metamathematics of the P vs. NP question (Q2383632) (← links)