Pages that link to "Item:Q3552388"
From MaRDI portal
The following pages link to A note on the Σ<sub>1</sub>collection scheme and fragments of bounded arithmetic (Q3552388):
Displaying 6 items.
- Partial collapses of the \(\Sigma _1\) complexity hierarchy in models for fragments of bounded arithmetic (Q866557) (← links)
- What are the \(\forall \Sigma_ 1^ b\)-consequences of \(T_ 2^ 1\) and \(T_ 2^ 2\)? (Q1899145) (← links)
- (Q3476809) (← links)
- Maximum Schemes in Arithmetic (Q4304100) (← links)
- A note on effective ultrapowers: Uniform failure of bounded collection (Q4304780) (← links)
- On Overspill Principles and Axiom Schemes for Bounded Formulas (Q4888345) (← links)
