Pages that link to "Item:Q1577486"

The following pages link to Multifunction algebras and the provability of \(PH\downarrow\) (Q1577486):

Displaying 8 items.

• Conservative fragments of \({{S}^{1}_{2}}\) and \({{R}^{1}_{2}}\) (Q535152) (← links)
• The strength of sharply bounded induction requires MSP (Q636290) (← links)
• Independence results for variants of sharply bounded induction (Q716498) (← links)
• New models of bounded induction axioms (Q937904) (← links)
• \(S_{k,\text{exp}}\) does not prove \(\text{NP} = \text{co-NP}\) uniformly (Q937909) (← links)
• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 (Q2732529) (← links)
• The polynomial and linear hierarchies in models where the weak pigeonhole principle fails (Q3503756) (← links)
• On the finite axiomatizability of (Q5109206) (← links)