Pages that link to "Item:Q672742"
From MaRDI portal
The following pages link to P, NP, Co-NP and weak systems of arithmetic (Q672742):
Displaying 6 items.
- \(\text{NP}\not={co}\)-NP and models of arithmetic (Q672454) (← links)
- On the metamathematics of the P vs. NP question (Q2383632) (← links)
- Sur le statut logique de l'assertion ``co-NP \(\neq\) NP''. (On the logical status of the ''co-NP \(\neq\) NP'' assertion) (Q3983716) (← links)
- Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND (Q4812318) (← links)
- Weak arithmetics (Q5941252) (← links)
- Weak arithmetic (Q5941732) (← links)