Pages that link to "Item:Q672454"
From MaRDI portal
The following pages link to \(\text{NP}\not={co}\)-NP and models of arithmetic (Q672454):
Displaying 4 items.
- P, NP, Co-NP and weak systems of arithmetic (Q672742) (← links)
- P ≠ NP ∩ co-NP for Infinite Time Turing Machines (Q3374094) (← 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)
- A model-theoretic proof for <i>P ≠ NP</i> over all infinite abelian group (Q4532627) (← links)