Pages that link to "Item:Q5277762"
From MaRDI portal
The following pages link to The strength of replacement in weak arithmetic (Q5277762):
Displayed 7 items.
- Construction of models of bounded arithmetic by restricted reduced powers (Q506954) (← links)
- The strength of extensionality. II: Weak weak set theories without infinity (Q639665) (← links)
- Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\) (Q2388433) (← links)
- Typical forcings, NP search problems and an extension of a theorem of Riis (Q2659102) (← links)
- Examining Fragments of the Quantified Propositional Calculus (Q3617380) (← links)
- (Q5119389) (← links)
- Consequences of the provability of <i>NP</i> ⊆ <i>P</i>/<i>poly</i> (Q5444705) (← links)