Pages that link to "Item:Q1407606"

The following pages link to On the bounded version of Hilbert's tenth problem (Q1407606):

Displaying 6 items.

• Conservative fragments of \({{S}^{1}_{2}}\) and \({{R}^{1}_{2}}\) (Q535152) (← links)
• Further results on Hilbert's tenth problem (Q829448) (← links)
• \(S_{k,\text{exp}}\) does not prove \(\text{NP} = \text{co-NP}\) uniformly (Q937909) (← links)
• Diophantine hierarchy (Q1946846) (← links)
• The weak pigeonhole principle for function classes inS12 (Q3418087) (← links)
• Removing the Strong RSA Assumption from Arguments over the Integers (Q5738979) (← links)